Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

650 Results
Deposit type : Fulltext
Image document

A Robotic CAD system using a Bayesian framework

Kamel Mekhnacha , Emmanuel Mazer , Pierre Bessiere
--, 2000, France. pp.1597-1604 (Vol.3)
Conference papers hal-00004990v1
Image document

Simulation dynamique de corps biologiques et changements de topologie interactifs

François Boux de Casson
Autre [cs.OH]. Université de Savoie, 2000. Français. ⟨NNT : ⟩
Theses tel-00010170v1
Image document

Animation multirésolution d'objets déformables en temps-réel. Application à la simulation chirurgicale

Gilles Debunne
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2000. Français. ⟨NNT : ⟩
Theses tel-00006740v1
Image document

N1CV2

Claude Lemaréchal , Claudia Sagastizábal
Software hal-04166724v1
Image document

Détermination de l'architecture de modèles neuromimétiques par implantation parallèle

Laurent Bougrain , Yann Boniface
Journées Scientifiques du Centre Charles Hermite, Jan 2000, none, 3 p
Conference papers inria-00107849v1
Image document

A Conceptual Model for Pervasive Computing

Laurent Ciarletta , Alden Dima
workshop on Pervasive Computing, Aug 2000, Toronto, Canada
Conference papers inria-00107863v1
Image document

ELAN ou la programmation par réécriture

Claude Kirchner
FAC 2000, May 2000, Toulouse, France, 96 p
Conference papers inria-00107865v1
Image document

Le traitement des variables régionalisées en écologie : apports de la géomatique et de la géostatistique

Philippe Aubry
Ecologie, Environnement. Université Claude Bernard - Lyon I, 2000. Français. ⟨NNT : ⟩
Theses tel-00003736v1
Image document

Toolbox Scilab : Detection signal design for failure detection and isolation for linear dynamic systems User's Guide

Hector E. Rubio Scola
RT-0241, INRIA. 2000, pp.16
Reports inria-00069931v1
Image document

On-Demand Layer Addition (ODL) : Making Multi-Layer Multicast Transmissions Cheaper

Vincent Roca
[Technical Report] RT-0239, INRIA. 2000, pp.17
Reports inria-00069933v1
Image document

Object calculi in linear logic

Michele Bugliesi , Giorgio Delzanno , Luigi Liquori , Maurizio Martelli
Journal of Logic and Computation, 2000, 10 (1), pp.75-104. ⟨10.1093/logcom/10.1.75⟩
Journal articles istex hal-01152636v1
Image document

XML est-il le langage de représentation de connaissance de l'an 2000?

Jérôme Euzenat
Actes 6e journées sur langages et modèles à objets (LMO), Jan 2000, Mont Saint-Hilaire, Canada. pp.59-74
Conference papers hal-00906231v1
Image document

An Augmented Conjugate Gradient Method for Solving Consecutive Symmetric Positive Definite Linear Systems

Jocelyne Erhel , Frédéric Guyomarc'H
SIAM Journal on Matrix Analysis and Applications, 2000, 21 (4), pp.1279-1299. ⟨10.1137/S0895479897330194⟩
Journal articles inria-00523682v1
Image document

Building Objects and Interactors for Collaborative Interactions with GASP

Thierry Duval , David Margery
CVE 2000, 2000, San Francisco, United States
Conference papers inria-00534145v1
Image document

A Framework for Multi-level Linguistic Annotation

Patrice Lopez , Laurent Romary
LREC Workshop on Large Corpus Annotation and Software Standards, Data Architectures and Software Support for Large Corpora,, May 2000, Athens, Greece
Conference papers inria-00525227v1
Image document

Adaptive Simulation of Soft Bodies in Real-Time

Gilles Debunne , Mathieu Desbrun , Marie-Paule Cani , Alan H. Barr
Computer Animation 2000, 2000, Philadelphie, United States. pp.133-144
Conference papers inria-00510054v1
Image document

The Path-repair algorithm

Narendra Jussien , Olivier Lhomme
Electronic Notes in Discrete Mathematics, 2000, 4, pp.2-16. ⟨10.1016/S1571-0653(05)80102-7⟩
Journal articles istex hal-00312820v1
Image document

A distributed editing environment for XML documents

Claude Pasquier , Laurent Théry
1st ECOOP Workshop on XML and Object Technology, Jun 2000, Sophia Antipolis, France
Conference papers hal-00362451v1
Image document

Inspiration from Neurosciences to emulate Cognitive Tasks at different Levels of Time

Frédéric Alexandre
Artificial Intelligence & the Simulation of Behaviour - AISB'2000, 2000, Birmingham, UK
Conference papers inria-00099025v1
Image document

JUMBO : protocole de routage unicast dans les réseaux ad-hoc

Johanne Cohen , Eric Fleury , Jens Gustedt
2ièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - ALGOTEL 2000, 2000, La Rochelle, France. pp.31-34
Conference papers inria-00099028v1
Image document

A Note on Classification-Based Reasoning and Semi-Structured Objects

Amedeo Napoli
7th Conference of the International Federation of Classification Societies, Faculté des Sciences de Namur, 2000, Namur, Belgique, pp.146
Conference papers inria-00099036v1
Image document

Le traitement des déictiques dans le DOHM

Bertrand Gaiffe , Anne Reboul , Jean-Marie Pierrel
TALN'2000, ATALA, 2000, Lausanne, Suisse, pp.409-417
Conference papers inria-00099044v1
Image document

De quelle variabilité sont capables les réseaux de neurones artificiels ?

Frédéric Alexandre
Invariants et variabilité dans les sciences cognitives, ACI Cognitique, Mar 2000, Paris, France, 6 p
Conference papers inria-00099047v1
Image document

Réjection du bruit dans des populations de neurones synchronisés

Olivier Rochel , Dominique Martinez
Neurosciences et Sciences pour l'Ingénieur - NSI'2000, Sep 2000, none, 4 p
Conference papers inria-00099050v1
Image document

Combining symbolic and numeric techniques for DL contents classification and analysis

Jean-Charles Lamirel , Yannick Toussaint
First DELOS Workshop on Information seeking, searching and querying in Digital Librairies, Dec 2000, none
Conference papers inria-00099063v1
Image document

Baal : Sécurisation des communications de groupes dynamiques

Ghassan Chaddoud , Isabelle Chrisment , André Schaff
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2000, Oct 2000, Toulouse, France, 15 p
Conference papers inria-00099069v1
Image document

On the representation of timed polyhedra

Olivier Bournez , Oded Maler
[Intern report] A00-R-079 || bournez00a, 2000
Reports inria-00099072v1
Image document

Compiling and Verifying Security Protocols

Florent Jacquemard , Michaël Rusinowitch , Laurent Vigneron
[Research Report] RR-3938, INRIA. 2000, pp.25
Reports inria-00072712v1
Image document

Detection Signal Design for Failure Detection and Isolation For Linear Dynamic System

Héctor E. Rubio Scola
[Research Report] RR-3935, INRIA. 2000
Reports inria-00072717v1
Image document

Characterizations of Preferential Entailments

Yves Moinard , Raymond Rolland
[Research Report] RR-3928, INRIA. 2000
Reports inria-00072724v1