|
||
---|---|---|
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-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 |
||
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-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-00326519v1
Conference papers
Experiments on the Construction of a Phonetically Balanced Corpus from the Web Conference on Intelligent Text Processing and Computational Linguistics CICLing-2004, Feb 2004, Seoul, South Korea. 4 p |
||
inria-00326525v1
Conference papers
The “FAME” Interactive Space 2nd Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms, Feb 2005, Edinburgh, United Kingdom. 4 p |
||
inria-00395108v1
Conference papers
Ubiquitous Privacy Protection Proceedings of the 5th Workshop on Ubicomp Privacy in conjunction with the 9th International Conference on Ubiquitous Computing (UbiComp'2007), Sep 2007, Innsbruck, Austria |
||
hal-00731122v1
Journal articles
The TheLMA project: Multi-GPU Implementation of the Lattice Boltzmann Method International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.295-303. ⟨10.1177/1094342011414745⟩ |
||
hal-00930965v1
Conference papers
Towards Urban-Scale Flow Simulations Using the Lattice Boltzmann Method Building Simulation 2011 - 12th Conference of International Building Performance Simulation Association, Nov 2011, Sydney, Australia. pp.933-940 |
||
hal-01003059v1
Journal articles
Global Memory Access Modelling for Efficient Implementation of the LBM on GPUs Lecture Notes in Computer Science, Springer, 2011, 6449, pp.151-161 |
||
hal-00827889v1
Conference papers
COSMO, un modèle bayésien de la communication parlée : application à la perception des syllabes JEP-TALN-RECITAL 2012 - conférence conjointe 29e Journées d'Études sur la Parole, 19e Traitement Automatique des Langues Naturelles, 14e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, Jun 2012, Grenoble, France. pp.305-312 |
||
hal-00338789v1
Conference papers
Emergence du langage par jeux déictiques dans une société d'agents sensori-moteurs en interaction JEP 2008 - 27e Journées d'Etudes sur la Parole, Jun 2008, Avignon, France |
||
hal-00849026v1
Conference papers
PetaFlow - An example of communication and computational technologies with social impact HSNCE 2013 - 4th IEEE International Workshop on High-Speed Network and Computing Environment, Jul 2013, Kyoto, Japan. pp.1-4 |
||
hal-00493999v1
Conference papers
Petaflow: a project towards information and communication technologies in society HSNCE 2010 - 1st IEEE International Workshop on High-Speed Network and Computing Environments for Scientific Applications, Jul 2010, Séoul, South Korea. pp.4 |
||
|