|
||
---|---|---|
hal-01472082v1
Reports
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding [Research Report] RR-LIG-031, LIG. 2012 |
||
hal-00576948v1
Journal articles
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
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
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
Profile Diversity for Phenotyping Data Search and Recommendation BDA: Bases de Données Avancées, Oct 2013, Nantes, France |
||
hal-01208397v1
Conference papers
Querying Temporal Drifts at Multiple Granularities CIKM 2015, Oct 2015, Melbourne, Australia |
||
hal-00953273v1
Conference papers
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
LIG and LIRIS at TRECVID 2008: High Level Feature Extraction and Collaborative Annotation TRECVID Workshop, 2008, Gaithersburg, MD, United States |
||
hal-01059677v1
Conference papers
When a Formal Model Rhymes with a Graphical Notation Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France |
||
hal-00930964v1
Journal articles
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-00931040v1
Journal articles
IPv6 (Internet Protocol version 6) heterogeneous networking infrastructure for energy efficient building Energy, Elsevier, 2012, Integration and Energy System Engineering, 44 (1), pp.447-457. ⟨10.1016/j.energy.2012.06.008⟩ |
||
|
||
hal-00954076v1
Conference papers
Apprentissage pour la Recherche d'Information Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France |
||
hal-00954024v1
Conference papers
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
Excluding clocks Electronic Notes in Discrete Mathematics, Elsevier, 2015, 50, pp.103-108 |
||
hal-00749190v1
Journal articles
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
Intrinsically universal n-dimensional quantum cellular automata Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898 |
||
hal-00758626v1
Journal articles
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
GENERALIZED DRIVEN DECODING FOR SPEECH RECOGNITION SYSTEM COMBINATION ICASSP, 2008, Las Vegas, United States |
||
inria-00539042v1
Conference papers
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
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-02059224v1
Conference papers
Akenou-Breizh, un projet de plate-forme valorisant des ressources et outils informatiques et linguistiques pour le breton TALaRE'2015, Jun 2015, Caen, France |
||
hal-00000840v1
Conference papers
Automatic State Reaching for Debugging Reactive Programs the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France |
||
hal-00712942v1
Journal articles
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
Physically Based Deformations Constrained in Displacements and Volume Computer Graphics Forum (Proc. of Eurographics '96), 1996, Poitiers, France. pp.155-164 |
||
hal-00349735v1
Journal articles
An anatomical landmark for the supplementary eye fields in human revealed with functional magnetic resonance imaging. Cerebral Cortex, Oxford University Press (OUP), 1999, 9 (7), pp.705-11 |
||
tel-00390299v1
Habilitation à diriger des recherches
Reconstruction monoculaire du mouvement humain, et autres travaux 2000-2004 Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2005 |
||
inria-00590068v1
Reports
Stability of Lagrangian Duality for Nonconvex Quadratic Programming Solution Methods and Applications in Computer Vision [Research Report] 1996, pp.35 |
||
inria-00544599v1
Journal articles
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
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⟩ |
||
|