Skip to Main content Skip to Navigation
  1. Search


...
hal-01472082v1  Reports
Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
[Research Report] RR-LIG-031, LIG. 2012
...
hal-00576948v1  Journal articles
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities
Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
...
hal-00743981v1  Journal articles
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00724508v1  Conference papers
Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
...
lirmm-00879575v1  Conference papers
Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation
BDA: Bases de Données Avancées, Oct 2013, Nantes, France
hal-00953273v1  Conference papers
Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
...
hal-01089427v1  Conference papers
Stéphane Ayache, Georges Quénot. LIG and LIRIS at TRECVID 2008: High Level Feature Extraction and Collaborative Annotation
TRECVID Workshop, 2008, Gaithersburg, MD, United States
hal-01059677v1  Conference papers
Akram Idani, Nicolas Stouls. When a Formal Model Rhymes with a Graphical Notation
Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
hal-00930964v1  Journal articles
Jack Dongarra, Bernard Tourancheau. Selected papers of the Workshop on Clusters, Clouds and Grids for Scientific Computing (CCGSC)
International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.259-260. ⟨10.1177/1094342011414550⟩
hal-00954076v1  Conference papers
Éric Gaussier. Apprentissage pour la Recherche d'Information
Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France
hal-00954024v1  Conference papers
Philippe Mulhem, Delphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information
Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
hal-01990304v1  Journal articles
Pierre Aboulker, Zhentao Li, Stéphan Thomassé. Excluding clocks
Electronic Notes in Discrete Mathematics, Elsevier, 2015, 50, pp.103-108
...
hal-00749190v1  Journal articles
Victor Campos, Andras Gyarfas, Frédéric Havet, Claudia Linhares Sales, Frédéric Maffray. New bounds on the Grundy number of products of graphs
Journal of Graph Theory, Wiley, 2012, 71 (1), pp.78--88
hal-00944484v1  Journal articles
Pablo Arrighi, Jonathan Grattage. Intrinsically universal n-dimensional quantum cellular automata
Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898
...
hal-00758626v1  Journal articles
Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. Dynamic Combination of Automatic Speech Recognition Systems by Driven Decoding
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013
...
hal-02094742v1  Poster communications
Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. GENERALIZED DRIVEN DECODING FOR SPEECH RECOGNITION SYSTEM COMBINATION
ICASSP, 2008, Las Vegas, United States
inria-00539042v1  Conference papers
Gautier Stauffer, Guillaume Massonnet, Christophe Rapine, Jean-Philippe Gayon. A simple and fast 2-approximation algorithm for the one warehouse multi-retailer problem
Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA) 2011, Jan 2011, San Francisco, United States
...
hal-00683433v1  Conference papers
Fabrice Lefèvre, Djamel Mostefa, Laurent Besacier, Yannick Estève, Matthieu Quignard et al.  Leveraging study of robustness and portability of spoken language understanding systems across languages and domains: the PORTMEDIA corpora
The International Conference on Language Resources and Evaluation, May 2012, Istanbul, Turkey
...
hal-00000840v1  Conference papers
Fabien Gaucher, Erwan Jahier, Florence Maraninchi, Bertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
...
hal-00712942v1  Journal articles
Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (3), pp.397-413
inria-00510114v1  Conference papers
Emmanuel Promayon, Pierre Baconnier, Claude Puech. Physically Based Deformations Constrained in Displacements and Volume
Computer Graphics Forum (Proc. of Eurographics '96), 1996, Poitiers, France. pp.155-164
...
tel-00390299v1  Habilitation à diriger des recherches
William Triggs. Reconstruction monoculaire du mouvement humain, et autres travaux 2000-2004
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2005
inria-00544599v1  Journal articles
Rémi Ronfard, Marc Sigelle. Relaxation d'images de classification et modèles de la physique statistique
Traitement du Signal, Lavoisier, 1992, 9 (6), pp.449-458
...
inria-00525660v1  Conference papers
Peter Sturm. On Focal Length Calibration from Two Views
IEEE International Conference on Computer Vision and Pattern Recognition (CVPR '01), Dec 2001, Kauai, United States. pp.145-150, ⟨10.1109/CVPR.2001.990940⟩