 |
 |
 |
|
|
||
|---|---|---|
| inria-00357655v1
Reports
Proactive Data Dissemination in Wireless Sensor Networks with Uncontrolled Sink Mobility [Research Report] RR-6820, INRIA. 2009, pp.20 |
||
| inria-00442048v1
Reports
Inferring Preoperative Reconstructed Spine Models to Volumetric CT Data through High-Order MRFs [Technical Report] RT-0374, INRIA. 2009 |
||
| inria-00442619v1
Reports
Scale-invariance in local heat kernel descriptors without scale selection and normalization [Research Report] RR-7161, INRIA. 2009 |
||
| inria-00443079v1
Reports
Towards Shape Constellation Inference through Higher-Order MRF Optimization in Nonlinear Embeddings [Technical Report] RT-0376, INRIA. 2009 |
||
| hal-00772059v1
Conference papers
Cardiac motion extraction from images by filtering estimation based on a biomechanical model FIMH'09 - 5th International Conference Functional Imaging and Modeling of the Heart, Jun 2009, Nice, France. pp.220-228, ⟨10.1007/978-3-642-01932-6_24⟩  |
||
| hal-00776637v1
Conference papers
Surface-based versus volume-based fMRI group analysis: a case study MICCAI 2009 Functional NeuroImaging Workshop, Bertrand Thirion, Alexis Roche, Philippe Ciuciu, Sep 2009, Londres, United Kingdom |
||
| inria-00359699v1
Conference papers
Forward analysis for WSTS, Part I: Completions 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.433-444 |
||
| inria-00432551v1
Conference papers
Partitionnement d'ontologies pour le passage à l'échelle des techniques d'alignement 9eme Journées Francophones "Extraction et Gestion des Connaissances", Jan 2009, Strasbourg, France |
||
| inria-00419974v1
Reports
Hybrid Iterative and Model-Driven Optimization in the Polyhedral Model [Research Report] RR-6962, INRIA. 2009 |
||
| inria-00363227v1
Reports
MANET Router Configuration Recommendations [Research Report] RR-6852, INRIA. 2009 |
||
| inria-00434283v1
Conference papers
Efficient normalization by evaluation 2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States |
||
| inria-00434284v1
Conference papers
From Self-Interpreters to Normalization by Evaluation 2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States |
||
| hal-00461215v1
Conference papers
Filtered derivative with p-value method for multiple change-points detection International Workshop in Sequential Methodologies, Jun 2009, Troyes, France. pp.6 |
||
| inria-00389390v1
Reports
Persistence-Based Clustering in Riemannian Manifolds [Research Report] RR-6968, INRIA. 2009, 47 p |
||
| inria-00434452v1
Reports
Modular Specification of Java Programs [Research Report] RR-7097, INRIA. 2009, pp.26 |
||
| inria-00359612v1
Reports
Cue Integration and Discrete MRFs towards Knowledge-based Segmentation and Tracking [Research Report] RR-6831, INRIA. 2009, pp.24 |
||
| inria-00359288v1
Reports
Interleaving Delaunay Refinement and Optimization for Practical Isotropic Tetrahedron Mesh Generation [Research Report] RR-6826, INRIA. 2009, pp.27 |
||
| inria-00402091v1
Reports
Model selection for simplicial approximation [Research Report] RR-6981, INRIA. 2009 |
||
| inria-00426607v1
Conference papers
A Declarative Language for Dynamic Multimedia Interaction Systems MCM 2009 - Second International Conference of the Society for Mathematics and Computation in Music, Jun 2009, New Haven, United States. ⟨10.1007/978-3-642-02394-1_20⟩ |
||
| inria-00426610v1
Conference papers
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩ |
||
| hal-01806188v1
Conference papers
Future-looking Logics on Data Words and Trees International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2009, Novy Smokovec, Slovakia. pp.331-343 |
||
| hal-00777585v1
Conference papers
Who: A Verifier for Effectful Higher-order Programs ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom |
||
| hal-00777577v1
Conference papers
Size Does Matter: Two Certified Abstractions to Disprove Entailment in Intuitionistic and Classical Separation Logic International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'09), Jul 2009, Genova, Italy |
||
| inria-00386475v1
Conference papers
Optimizing Low-Discrepancy Sequences with an Evolutionary Algorithm Genetic and Evolutionary Computation Conference, 2009, Montréal, Canada. 8 p |
||
| hal-00684869v1
Conference papers
BLAST Application with Data-aware Desktop Grid Middleware CCGrid'09: Proceedings of the 9th IEEE International Symposium on Cluster Computing and the Grid, May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.91⟩ |
||
| inria-00428521v1
Reports
Integrating Java Support for Routing Protocols in NS2 [Research Report] RR-7075, INRIA. 2009, pp.32 |
||
| hal-01299746v1
Conference papers
L'écriture augmentée : enregistrer des explorations interactives avec une feuille de données scientifiques 21ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2009), Oct 2009, Grenoble, France |
||
| hal-01301485v1
Reports
Quand tu l'as écrit, tu l'as lu ! [Rapport de recherche] 1526, Laboratoire de Recherche en Informatique (LRI). 2009 |
||
| hal-00781428v1
Conference papers
An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation DILS 2009-6th International Workshop on Data Integration in the Life Sciences, Jul 2009, Manchester, United Kingdom. pp.113-126, ⟨10.1007/978-3-642-02879-3_10⟩ |
||
| hal-00781450v1
Conference papers
PDiffView: Viewing the Difference in Provenance of Workflow Results VLDB- Very Large DataBase systems-2009, Serge Abiteboul and Tova Milo and Jignesh Patel and Philippe Rigaux, Aug 2009, Lyon, France. pp.1638-1641 |
||
|
|
||