Skip to Main content Skip to Navigation


...
hal-03201974v1  Conference papers
Stéphane DemriArnaud Sangnier. When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
FOSSACS 2010 - Foundations of Software Science and Computational Structures, 13th International Conference, Luke Ong, Mar 2010, Paphos, Cyprus. pp.176-190, ⟨10.1007/978-3-642-12032-9_13⟩
...
hal-00690084v1  Conference papers
Nadia BoukhelifaFanny ChevalierJean-Daniel Fekete. Real-time Aggregation of Wikipedia Data for Visual Analytics
Proceedings of Visual Analytics Science and Technology (VAST 2010), Nov 2010, Los Alamitos, CA, USA, United States. pp.147--154, ⟨10.1109/VAST.2010.5652896⟩
...
hal-02263426v1  Conference papers
Ulrich HerbergThomas Heide ClausenJérôme Milan. Digital Signatures for Admittance Control in the Optimized Link State Routing Protocol Version 2
2010 International Conference on Internet Technology and Applications (iTAP), Aug 2010, Wuhan, China. pp.1-4, ⟨10.1109/ITAPP.2010.5566285⟩
...
hal-02263420v1  Conference papers
Emmanuel BaccelliThomas Heide ClausenRyuji Wakikawa. IPv6 operation for WAVE — Wireless Access in Vehicular Environments
2010 IEEE Vehicular Networking Conference (IEEE VNC), Dec 2010, Jersey City, United States. pp.160-165, ⟨10.1109/VNC.2010.5698260⟩
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-02079665v1  Conference papers
Samuel EmeriauFrédéric BlanchardJean-Baptiste PolineLaurent PierotEric Bittar. Connectivity feature extraction for spatio-functional clustering of fMRI data
International Conference on Image Processing Theory, Tools and Applications, 2010, Paris, France
...
hal-01806104v1  Conference papers
Diego FigueiraPiotr HofmanSławomir Lasota. Relating timed and register automata
International Workshop on Expressiveness in Concurrency (EXPRESS), Aug 2010, Paris, France. pp.61-75, ⟨10.4204/EPTCS.41.5⟩
...
hal-01806093v1  Conference papers
Diego Figueira. Forward-XPath and extended register automata
International Conference on Database Theory (ICDT), Mar 2010, Lausanne, Switzerland. ⟨10.1145/1804669.1804699⟩
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-01779507v1  Conference papers
Faten NabliSylvain Soliman. Steady-state Solution of Biochemical Systems, Beyond S-systems via T-invariants
Proceedings of the 8th International Conference on Computational Methods in Systems Biology, 2010, New York, NY, USA, Unknown Region. pp.14--22, ⟨10.1145/1839764.1839768⟩
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 MuhlethalerYasser 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 MuhlethalerArnaud 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 MuhlethalerYasser 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 MuhlethalerFarid 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-00548212v1  Conference papers
Mário AlvimMiguel AndrésCatuscia Palamidessi. Entropy and Attack Models in Information Flow
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.53-54, ⟨10.1007/978-3-642-15240-5_4⟩
...
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
...
hal-01186262v1  Conference papers
Cédric SauleMireille RegnierJean-Marc SteyaertAlain Denise. Counting RNA pseudoknotted structures (extended abstract)
22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010), 2010, San Francisco, United States. pp.1037-1048
...
hal-00450763v4  Conference papers
Olivier BodiniYann Ponty. Multi-dimensional Boltzmann Sampling of Languages
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), Jun 2010, Vienna, Austria. pp.49-64
...
inria-00529137v2  Conference papers
Cedric LoiPaul-Henry CournèdeJean Françon. A symbolic method to compute the probability distribution of the number of pattern occurences in random texts generated by stochastic 0L-systems
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.473-488
...
hal-01185566v1  Conference papers
Philippe JacquetCharles KnesslWojciech Szpankowski. Counting Markov Types
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.387-400, ⟨10.1109/TIT.2012.2191476⟩
...
hal-01185562v1  Conference papers
Philippe JacquetPaul Muhlethaler. Geometric Bucket Trees: Analysis of Linear Bucket Tree
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.401-414
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-01098456v1  Conference papers
J.-B HoockO Teytaud. Bandit-Based Genetic Programming with Application to Reinforcement Learning
Conférence Francophone d'Apprentissage 2010, May 2010, Clermont-Ferrand, France
in2p3-00957894v1  Conference papers
G. ChenW. ZhuBalázs KéglRóbert Busa-Fekete. Palmprint Classification Using Wavelets and AdaBoost
7th International Symposium on Neural Networks, Jun 2010, Shanghai, China. pp.178-183
hal-00944119v1  Conference papers
S. FuGilles CeleuxM. CoupletN. Bousquet. Inversion probabiliste en analyse d'incertitude.
Séminaire d'animation scientifique et technique de la compétence APSPP, 2010, Paris, France
hal-00944118v1  Conference papers
S. FuGilles CeleuxM. CoupletN. Bousquet. Inversion probabiliste en analyse d'incertitude.
Séminaire des thèses, EDF R&D, 2010, Paris, France
hal-00944114v1  Conference papers
Robin GenuerVincent MichelEvelyn EgerBertrand Thirion. Random Forests based feature selection for decoding fMRI data
COMPSTAT 2010 - 19th International Conference on Computational Statistics, Aug 2010, Paris, France. pp.1071-1078
hal-00944111v1  Conference papers
Gilles Celeux. Comparing different points of view for analyzing finite mixture models
Swiss Statistics Seminar Fall Session, 2010, Bern
hal-00944110v1  Conference papers
Gilles Celeux. Comparing variational and stochastic algorithms for the maximum likelihood estimation of model-based block clustering
Working Group on Model-Based Clustering Summer Session, 2010, Grenoble
hal-00944109v1  Conference papers
Farouk MhamdiMeriem JaidaneJean-Michel Poggi. Empirical Mode Decomposition for Trend Extraction. Application to Electrical Data
Proceedings of the 19th COMPSTAT, 2010, Paris, Afghanistan. pp.1391-1398
hal-00941407v1  Conference papers
Sylvain ConchonJean-Christophe FilliâtreFabrice Le FessantJulien RobertGuillaume von Tokarski. Real-Time Monitoring of Ocaml programs
JFLA 2010, Jan 2010, Vieux-Port La Ciotat, France. pp.159-185
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