Skip to Main content Skip to Navigation


...
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent 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-00190393v1  Conference papers
Hamid ChaachouaJean-François NicaudAlain BronnerDenis Bouhineau. APLUSIX, A learning environment for algebra, actual use and benefits
ICME 10 : 10th International Congress on Mathematical Education, July 4-11, 2004, 2004, Copenhagen, Denmark. pp.8
...
hal-00190301v1  Conference papers
Denis BouhineauStéphane Channac. La programmation logique par contraintes pour l'aide à l'enseignant
Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342
...
hal-00982716v1  Conference papers
Damien PellierHumbert Fiorino. Coordinated exploration for labyrinthine environments with application to the Pursuit-Evasion problem
Workshop on Cooperative Robotics (IROS), 2002, Lausanne, Switzerland. pp.50-58
...
hal-00982723v1  Conference papers
Damien PellierHumbert Fiorino. Approche multi-agent pour l'exploration coordonnée d'un environnement labyrinthique 2D
Journées Francophones sur l'Intelligence Artificielle Distribuée et Systèmes Multi-Agents, 2002, Lille, France
...
hal-00491706v1  Conference papers
Jean-Loup FlorensAnnie LucianiClaude CadozBenoît ChanclouArash Habibi. Modèles physiques, images et sons : processus de synchronisation et de simulation
4ème Journées de l'Association Française d'Informatique Graphique, Nov 1996, Dijon, France. pp.80-93
...
hal-02949916v1  Conference papers
Mohammed Foughali. A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2020, Gangnueng (virtual conference), South Korea. pp.1-10, ⟨10.1109/RTCSA50079.2020.9203687⟩
...
tel-02554125v2  Theses
Rémy Boutonnet. Modular analysis of numerical properties by abstract interpretation
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM004⟩
...
hal-01392526v1  Conference papers
Sopheap SengSethserey SamViet-Bac LeBrigitte BigiLaurent Besacier. Which unit for acoustic and language modeling for Khmer Automatic Speech Recognition?
International Workshop on Spoken Languages Technologies for Under-resourced languages, 2008, Hanoi, Vietnam. pp.33-38
...
hal-01393605v1  Conference papers
Sopheap SengLaurent BesacierBrigitte BigiEric Castelli. Multiple Text Segmentation for Statistical Language Modeling
Interspeech, Sep 2009, Brighton, United Kingdom. pp.2663-2666
...
hal-00390852v1  Conference papers
Najeh HajlaouiChristian Boitet. Portage linguistique de l'arabe et vers l'arabe
Infol@ngues III : Informatique et langues, Feb 2009, Tunisie. 10 p
...
tel-02988031v1  Theses
Benjamin Farinier. Decision procedures for vulnerability analysis
Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩
...
tel-02964621v1  Theses
Xiao Xu. Generalisation of Alternating Automata over Infinite Alphabets
Computer Arithmetic. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM007⟩
...
hal-01392533v1  Conference papers
Viet-Bac LeSopheap SengLaurent BesacierBrigitte Bigi. Word/sub-word lattices decomposition and combination for speech recognition
IEEE International conference on Acoustics, Speech and Signal Processing, 2008, Las Vegas, United States. pp.4321 - 4324, ⟨10.1109/ICASSP.2008.4518611⟩
...
hal-01392538v1  Conference papers
Sopheap SengSethserey SamLaurent BesacierBrigitte BigiEric Castelli '. First Broadcast News Transcription System for Khmer Language
Sixth International Conference on Language Resources and Evaluation, 2008, Marrakech, Morocco. pp.2658-2661
...
hal-00000840v1  Conference papers
Fabien GaucherErwan JahierFlorence MaraninchiBertrand Jeannet. Automatic State Reaching for Debugging Reactive Programs
the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Sep 2003, Ghent, France
...
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-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⟩
...
inria-00598414v1  Master thesis
Florence Bertails-Descoubes. Animation Adaptative de Chevelures Virtuelles
Synthèse d'image et réalité virtuelle [cs.GR]. 2002
...
inria-00519478v1  Conference papers
Florence Bertails-DescoubesMarie-Paule Cani. Animation de chevelures: du temps-réel à la recherche de réalisme
Journées du groupe de travail Animation et Simulation, GTAS 2004, Jun 2004, Reims, France
...
inria-00590216v1  Conference papers
Daniel WeinlandRémi RonfardEdmond Boyer. Automatic Discovery of Action Taxonomies from Multiple Views
IEEE Conference on Computer Vision and Pattern Recognition (CVPR '06), Jun 2006, New York, United States. pp.1639--1645, ⟨10.1109/CVPR.2006.65⟩