Search - Archive ouverte HAL Access content directly

Filter your results

247 Results
Deposit type : Fulltext
Image document

Syntax and semantics in algebra

Jean-François Nicaud , Denis Bouhineau , Jean-Michel Gélis
Proceedings of the 12th ICMI Study Conference. The University of Melbourne, 2001, Australia. 12 p
Conference papers hal-00962023v1
Image document

Spécification et réalisation d'un formalisme générique pour la segmentation multiple de documents textuels multilingues

Julien Quint
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2002. Français. ⟨NNT : ⟩
Theses tel-00521940v1
Image document

Développement d'Applications à Grande Echelle par Composition de Méta-Modèles

German Eduardo Vega Baez
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses tel-00011325v1
Image document

Mobile Transaction Supports for DBMS

Patricia Serrano-Alvarado , Claudia Roncancio , Michel Adiba
17e Journées Bases de données avancées (BD@' 2001), Oct 2001, Agadir, Morocco
Conference papers hal-01355439v1
Image document

Construction of meaning and teacher control of learning

Nicolas Balacheff
Working Conference on Secondary School Mathematics in the World of Communication Technology: Learning, Teaching and The curriculum, IFIP TC3 / WG3.1, Oct 1997, Grenoble, France. pp.111-120
Conference papers hal-01861184v2
Image document

Benefits of prior acoustic segmentation for automatic speaker segmentation

Sylvain Meignier , Daniel Moraru , Corinne Fredouille , Jean-François Bonastre , Laurent Besacier et al.
International Conference on Acoustics Speech and Signal Processing (ICASSP 2004), May 2004, Montreal, Canada. pp.397-400, ⟨10.1109/ICASSP.2004.1326006⟩
Conference papers hal-01434305v1
Image document

Techniques de Navigation Collaborative Synchrone sur le WWW

Yann Laurillau
9ème conférence francophone sur l'Interaction Homme-Machine (IHM'99), Nov 1999, Montpellier, France
Conference papers hal-02010168v1
Image document

Exploiting distance technology to foster experimental design as a neglected learning objective in labwork in chemistry

Cedric d'Ham , Erica de Vries , Isabelle Girault , Patricia Marzin-Janvier
Journal of Science Education and Technology, 2004, 13(4), pp.425-434
Journal articles hal-00190183v1
Image document

Towards a Unicode Compatible Punjabi Character Set

Abbas Malik
27th Internationalization and Unicode Conference, Apr 2005, Berlin, Germany. pp.9
Conference papers hal-01002347v1
Image document

Coordinated exploration for labyrinthine environments with application to the Pursuit-Evasion problem

Damien Pellier , Humbert Fiorino
Workshop on Cooperative Robotics (IROS), 2002, Lausanne, Switzerland. pp.50-58
Conference papers hal-00982716v1
Image document

La programmation logique par contraintes pour l'aide à l'enseignant

Denis Bouhineau , Stéphane Channac
Third International Conference on Intelligent Tutoring Systems ITS'96, 1996, Montréal, Canada. pp.333-342
Conference papers hal-00190301v1
Image document

Apprentissages en chimie par des expérimentations pilotées à distance

Isabelle Girault , Cedric d'Ham , Chrystelle Caix-Cécillon , Herminia Bettega
EIAH 2003, 2003, Strasbourg, France. pp.527-530
Conference papers hal-00190651v1
Image document

Un micromonde pour aider les élèves à apprendre l'algèbre

Denis Bouhineau , Jean-François Nicaud , X. Pavard , Emmanuel Sander
Sciences et Techniques Educatives, 2001, 8 (1-2), pp.33--47
Journal articles hal-00961980v1
Image document

Internet Documents: A Rich Source for Spoken Language Modeling

Dominique Vaufreydaz , Mohamad Akbar , José Rouillard
IEEE Workshop ASRU'99 (Automatic Speech Recognition and Understanding), IEEE, Dec 1999, Keystone - Colorado, United States. pp. 277-281
Conference papers inria-00326147v1
Image document

Web as Huge Information Source for Noun Phrases Integration in the Information Retrieval Process

Mathias Géry , Mohamed Hatem Haddad , Dominique Vaufreydaz
International Conference on Information and Knowledge Engineering (IKE'02), Jun 2002, Las Vegas - Nevada, United States. pp. 72-77
Conference papers inria-00326405v1
Image document

Quelques spécificités du dialogue Homme-Machine sur Internet

José Rouillard
Bulletin de linguistique appliquée et générale, 2001, Traitement Automatique des Langues et Internet, 26, pp.16
Journal articles hal-02439942v1
Image document

Une Analyse préalable à l'indexation de transcriptions de conversations téléphoniques

Caroline Tambellini , Catherine Berrut , Christophe Brouard
CORIA'04, 2004, Toulouse, pp.307--331
Conference papers hal-00954059v1
Image document

Dynamic Learning of Indexing Concepts for Home Image Retrieval

Stéphane Bissol , Philippe Mulhem , Yves Chiaramella
Content-Based Multimedia Indexing (CBMI2003), 2003, Rennes, France. pp.87--93
Conference papers hal-00953933v1
Image document

Multi-Agent Assumption-based Planning

Damien Pellier , Humbert Fiorino
International Joint Conference on Artificial Intelligence, Jul 2005, Edinburgh, United Kingdom. pp.1717-1718
Conference papers hal-00981710v2
Image document

Apprendre à reconnaître les arbres en CM2 : La situation de jeu « Florex »

Patricia Marzin-Janvier , Éric Triquet , Bruno Combaz
Didaskalia (Paris), 2003, 22, pp.117-132
Journal articles hal-01234672v1
Image document

CLIPS and NII at TRECvid: Shot segmentation and feature extraction

Stéphane Ayache , Georges Quénot , Jérôme Gensel , Shin'Ichi Satoh
TREC Workshop on Video Retrieval Evaluation, 2005, Gaithersburg, MD, United States
Conference papers hal-00953918v1
Image document

Topiques dialogiques

Anne Xuereb , Jean Caelen
TALN, Jun 2005, Dourdan, France
Conference papers hal-02928418v1
Image document

On Combining Functional Verification and Performance Evaluation using CADP

Hubert Garavel , Holger Hermanns
[Research Report] RR-4492, INRIA. 2002
Reports inria-00072096v1
Image document

Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems

Radu Mateescu
RR-4430, INRIA. 2002
Reports inria-00072158v1
Image document

Symmetry and dependence properties within a semiparametric family of bivariate copulas

Cécile Amblard , Stéphane Girard
Journal of Nonparametric Statistics, 2002, 14 (6), pp.715-727. ⟨10.1080/10485250215322⟩
Journal articles hal-00990374v1
Image document

From data-flow task to multitasking: applying the synchronous approach to active vision in robotics

Eric Marchand , E. Rutten , F. Chaumette
IEEE Transactions on Control Systems Technology, 1997, 5 (2), pp.200-216. ⟨10.1109/87.556025⟩
Journal articles hal-01074722v1
Image document

Interaction en Environnements Immersifs et Retours d’Effort Passifs

Alexis Paljic
Synthèse d'image et réalité virtuelle [cs.GR]. Université Pierre et Marie Curie (Paris VI), 2004. Français. ⟨NNT : ⟩
Theses tel-01479203v1
Image document

Controlling and Scheduling Parallel I/O in Multi-application Environments

Adrien Lebre , Yves Denneulin , Thanh Trung Van
[Research Report] RR-5689, INRIA. 2005, pp.19
Reports inria-00070324v1
Image document

Marker-less Real Time 3D Modeling for Virtual Reality

Jérémie Allard , Edmond Boyer , Jean-Sébastien Franco , Clément Ménier , Bruno Raffin et al.
Immersive Projection Technology, May 2004, Ames, United States
Conference papers inria-00349066v1
Image document

Programmation bayésienne des bras manipulateurs

Ruben Garcia Ramirez
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2003. Français. ⟨NNT : ⟩
Theses tel-00147378v1