HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-03526743v1  Conference papers
Meghyn BienvenuAndreas HerzigGuilin Qi. Prime implicate-based belief revision operators
18th European Conference on Artificial Intelligence (ECAI 2008), Jul 2008, Patras, Greece. pp.741-742
hal-02306634v1  Conference papers
Jean-Daniel FeketeNicole Dufournaud. Utilisation de TEI comme support méthodologique au dépouillement de sources manuscrites. Application aux lettres de rémission du XVIe siècle dans le duché de Bretagne
Colloque de l’Association pour l’Histoire et l’Informatique « L’informatique dans l’enseignement de l’histoire et la formation des historiens, Nov 1998, Toulouse, France
hal-02120728v1  Conference papers
Philippe LencaStéphane LallichThanh Nghi DoNguyen-Khang Pham. A comparison of different off-centered entropies to deal with class imbalance for decision trees
Pacific-Asia conference on knowledge discovery and data Mining, 20-23 May, Osaka, Japan, May 2008, Osaka, Japan. pp.634 - 643, ⟨10.1007/978-3-540-68125-0_59⟩
hal-01799316v1  Conference papers
Luidnel MaignanFrédéric Gruau. A 1D cellular automaton that moves particles until regular spatial placement
Automata 2008: Theory and Applications of Cellular Automata, Jun 2008, Bristol, United Kingdom. pp.323-338
hal-01593149v1  Conference papers
Bertin Marc-HenriAdrien van Den Bossche.Gérard ChalhoubTuan DangSaoucene Mahfoudh et al.  OCARI for industrial wireless sensor networks
IFIP Wireless Days (WD), Nov 2008, Dubai, United Arab Emirates
hal-01378618v1  Conference papers
Barlomiej BlaszczyszynAnis LaouitiPaul MühlethalerYasser Toor. Comparison for VANETs : conventional routing vs an advanced opportunistic routing scheme using active signaling
ITST 2008 : 8th International Conference on Intelligent Transport System Telecommunications, Oct 2008, Hilton Phuket, Thailand. pp.288 - 293, ⟨10.1109/ITST.2008.4740273⟩
hal-01376592v1  Conference papers
Anis LaouitiPaul MühlethalerArnaud de la Fortelle. Geonet : geo-networking for ITS applications
ITS 2008 : 15th World Congress on Intelligent Transportation Systems, Nov 2008, New York, United States. pp.3085 - 3089
hal-01373974v1  Conference papers
Barlomiej BlaszczyszynAnis LaouitiPaul MühlethalerYasser Toor. Opportunistic broadcast in VANETs (OB-VAN) using active signaling for relays selection
ITST 2008 : 8th International Conference on Intelligent Transport System Telecommunications, Oct 2008, Phuket, Thailand. pp.1 - 6, ⟨10.1109/ITST.2008.4740291⟩
hal-01326341v1  Conference papers
Anis LaouitiPaul MühlethalerFarid SayahYasser Toor. Quantitative evaluation of the cost of routing protocol OLSR in a Vehicle Ad Hoc NETwork (VANET)
VTC SPRING 2008 : IEEE 67th Vehicular Technology Conference, May 2008, Singapore, Singapore. pp.2986 - 2990, ⟨10.1109/VETECS.2008.317⟩
hal-01257274v1  Conference papers
Albert CohenLouis MandelFlorence PlateauMarc Pouzet. Abstraction of Clocks in Synchronous Data-flow Systems
6th Asian Symposium on Programming Languages and Systems (APLAS), Dec 2008, Bangalore, India
hal-01194661v1  Conference papers
Cedric LoiPaul-Henry Cournède. Generating Functions of Stochastic L-Systems and Application to Models of Plant Development
Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. pp.325-338, ⟨10.46298/dmtcs.3574⟩
hal-01124481v1  Conference papers
Stéphane GrumbachPhilippe RigauxLuc Segoufin. The DEDALE System for Complex Spatial Queries
ACM-SIGMOD Intl. Conf. on the Management of Data (SIGMOD'98), Jun 1998, Seattle, WA, United States
hal-01124457v1  Conference papers
Stéphane GrumbachPhilippe RigauxLuc Segoufin. Spatio-Temporal Data Handling with Constraints
Intl. Symposium on Geographic Information Systems (ACM-GIS'98), Jan 1998, X, France
hal-00918726v1  Conference papers
Xavier HubertDominique ChambellanSamuel LegoupilRégine TrébossenJean-Robert Deverre et al.  Spatiotemporal Decomposition in Object-Space along Reconstruction in Emission Tomography
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 2008, New-York, United States. pp.255-262, ⟨10.1007/978-3-540-85990-1_31⟩
hal-00918725v1  Conference papers
Christian WachingerGlocker BenJean-Claude ZeltnerNikos ParagiosNikos Komodakis et al.  Deformable Mosaicing for Whole-Body MRI
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 2008, New-York, United States. pp.113-121, ⟨10.1007/978-3-540-85990-1_14⟩
hal-00918721v1  Conference papers
Han YuanGeorg LangsNikos Paragios. Group-wise MDL based registration of small animals in video sequences
2008 5th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 2008, Paris, France. pp.1179 - 1182
hal-00918717v1  Conference papers
Régis BehmoNikos ParagiosVeronique Prinet. An Application of Graph Commute Times to Image Indexing
Geoscience and Remote Sensing Symposium, 2008. IGARSS 2008. IEEE International, 2008, Boston, United States. pp.495-498, ⟨10.1109/IGARSS.2008.4779392⟩
hal-00918711v1  Conference papers
Glocker BenNikos ParagiosNikos KomodakisGeorgios TziritasNassir Navab. Optical flow estimation with uncertainties through dynamic MRFs
Optical flow estimation with uncertainties through dynamic MRFs, 2008, United States. pp.1-8
hal-00918707v1  Conference papers
Régis BehmoNikos ParagiosVeronique Prinet. Graph commute times for image representation
CVPR 2008 - Computer Vision and Pattern Recognition, Jun 2008, Anchorage, AK, United States. pp.1-8, ⟨10.1109/CVPR.2008.4587840⟩
hal-00918704v1  Conference papers
Ben GlockerNikos KomodakisNikos ParagiosGeorgios TziritasNassir Navab. Effiziente nichtlineare Registrierung mittels diskreter Optimierung.
Bildverarbeitung für die Medizin 2008, 2008, Germany. pp.87-91
hal-00856321v1  Conference papers
Noura AzzabouNikos Paragios. Spatio-temporal speckle reduction in ultrasound sequences
11th International Conference on Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, Sep 2008, New-York, United States. pp.951-958, ⟨10.1007/978-3-540-85988-8_113⟩
hal-00851711v1  Conference papers
Niklas ElmqvistJean-Daniel Fekete. Semantic Pointing for Object Picking in Complex 3D Environments
Proceedings of Graphics Interface 2008, May 2008, Windsor, ON, Canada. pp.243-250
hal-00825274v1  Conference papers
Céline HudelotJamal AtifIsabelle Bloch. Intégration de la morphologie mathématique floue dans une logique de description pour le raisonnement spatial
Actes des Rencontres francophones sur la Logique Floue et ses Applications, 2008, Lens, France. pp.336-343
hal-00781762v1  Conference papers
Florent LafargeGeorgy Gimel'Farb. Texture Representation by Geometric Objects using a Jump-Diffusion Process
British Machine Vision Conference (BMVC), Sep 2008, Leeds, United Kingdom
hal-00781733v1  Conference papers
Florent LafargeXavier DescombesJosiane ZerubiaMarc Pierrot-Deseilligny. Building reconstruction from a single DEM
Computer Vision and Pattern Recognition (CVPR), Jun 2008, Anchorage, United States
hal-00689869v1  Conference papers
Gilles FedakHaiwu HeFranck Cappello. A file transfer service with client/server, P2P and wide area storage protocols
Data Management in Grid and Peer-to-Peer Systems: First International Conference, Globe 2008, Sep 2008, Turin, Italy. pp.1-11, ⟨10.1007/978-3-540-85176-9_1⟩
hal-00684417v1  Conference papers
Camille CotiThomas HeraultSylvain PeyronnetAla RezmeritaFranck Cappello. Grid Services For MPI
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid'08), May 2008, Lyon, France. ⟨10.1109/CCGRID.2008.106⟩
hal-00651438v1  Conference papers
Emmanuel BaccelliJochen Schiller. Towards Scalable MANETs
8th IEEE International Conference on ITS Telecommunications, Oct 2008, Phuket, Thailand. pp.133 - 138, ⟨10.1109/ITST.2008.4740243⟩
inria-00638356v1  Conference papers
Stefan Haar. Branching Processes of General S/T-Systems and their Properties
Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. pp.65-74, ⟨10.1016/S1571-0661(05)80250-6⟩
inria-00638300v1  Conference papers
Paolo BaldanThomas ChatainStefan HaarBarbara König. Unfolding-based Diagnosis of Systems with an Evolving Topology
Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), 2008, Toronto, Canada, Canada. pp.203-217, ⟨10.1007/978-3-540-85361-9_19⟩
inria-00633583v1  Conference papers
Fei JiangHugues BerryMarc Schoenauer. Unsupervised Learning of Echo State Networks: Balancing the Double Pole
Genetic and Evolutionary Computation Conference, GECCO-2008, Jun 2008, Atlanta, GA, United States
inria-00629092v1  Conference papers
Yann Régis-GianasFrançois Pottier. A Hoare Logic for Call-by-Value Functional Programs
MPC 08 - Proceedings of the Ninth International Conference on Mathematics of Program Construction, Jul 2008, Marseille, France. pp.305--335, ⟨10.1007/978-3-540-70594-9_17⟩
inria-00579004v1  Conference papers
Adel BouhoulaFlorent Jacquemard. Automated Induction with Constrained Tree Automata
4th International Joint Conference on Automated Reasoning (IJCAR), Aug 2008, Sydney, Australia. pp.539-554, ⟨10.1007/978-3-540-71070-7_44⟩
inria-00578966v1  Conference papers
Adria GasconGuillem GodoyFlorent Jacquemard. Closure of Tree Automata Languages under Innermost Rewriting
8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. pp.23-38, ⟨10.1016/j.entcs.2009.03.033⟩
inria-00550694v1  Conference papers
Anne RoudautStéphane HuotEric Lecolinet. TapTap and MagStick: Improving One-Handed Target Acquisition on Small Touch-screens
AVI'08, the 9th International Working Conference on Advanced Visual Interfaces, 2008, Napoli, Italy. pp.146-153, ⟨10.1145/1385569.1385594⟩
hal-00548877v1  Conference papers
Yann Ponty. Non-redundant random generation from weighted context-free languages
GASCOM - 7th conference on random generation of combinatorial structures - 2008, 2008, Bibbiena, Italy. 12pp
inria-00540764v1  Conference papers
Lina YePhilippe Dague. An Optimized Algorithm for Diagnosability of Component-based Systems
10th International Conference on Discrete Event Systems WODES'10, Aug 2008, Berlin, Germany
inria-00539046v1  Conference papers
Olivier BarrièreJacques Lévy Véhel. Local Holder regularity-based modeling of RR intervals
CBMS 2008, 21th IEEE International Symposium on Computer-Based Medical Systems, Jun 2008, Jyvaskyla, Finland