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

Filter your results

859 Results
Deposit type : Notice

Direct phasing by binary integer programming

Vladimir Y. Lunin , Alexandre Urzhumtsev , Alexander Bockmayr
Acta Crystallographica Section A : Foundations and Advances [2014-..], 2002, 58, pp.283-291. ⟨10.1107/s0108767302004002⟩
Journal articles inria-00100777v1

Connection-based proof search in propositional BI logic

Didier Galmiche , Daniel Méry
18th International Conference on Automated Deduction - CADE-18, 2002, Copenhagen/Denmark, pp.111-128
Conference papers inria-00100790v1

LINK: a Proof Environment based on Proof nets

Luc Habert , Jean-Marc Notin , Didier Galmiche
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX'02, 2002, Copenhagen, Denmark, pp.330-334
Conference papers inria-00100791v1

Reflections on Smart Antennas for MAC Protocols in Multihop Ad Hoc Networks

Hend Koubaa
European Wireless, Feb 2002, Florence, Italy, 7 p
Conference papers inria-00100797v1

Pose Estimation for Planar Structures

Gilles Simon , Marie-Odile Berger
IEEE Computer Graphics and Applications, 2002, 22 (6), pp.46-53. ⟨10.1109/MCG.2002.1046628⟩
Journal articles inria-00100802v1

Une introduction aux machines à vecteurs supports (Support Vector Machines)

Dominique Martinez
XIièmes Journées Neurosciences et Sciences pour l'Ingénieur - NSI'02, Sep 2002, La Londe Les Maures, France, 4 p
Conference papers inria-00100803v1

Hidden Markov Models for Medical Diagnosis

Laurent Jeanpierre , François Charpillet
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - HEALTHCOM 2002, 2002, Nancy, France, 5 p
Conference papers inria-00100812v1

A new definition of qualified gain in a data fusion

David Bellot , Anne Boyer , François Charpillet
The Fifth International Conference on Information Fusion - FUSION'2002, 2002, Annapolis, Maryland, USA, 8 p
Conference papers inria-00100825v1

METIORE: A Publications Reference for the Adaptive Hypermedia Community

David Bueno , Ricardo Conejo , Cristina Carmona , Amos David
Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems - AH 2002, May 2002, Malaga, Espagne, 8 p
Conference papers inria-00100837v1

Ordonnancement pour la grille : une extension de MCT

Yves Caniou , Emmanuel Jeannot
Quatorzième Rencontres Francophones du Parallélisme - RENPAR 2002, Apr 2002, Hammamet, Tunisie, pp.58-65
Conference papers inria-00100838v1

Improving the Accuracy of Skeleton-Based Vectorization

Xavier Hilaire , Karl Tombre
Dorothea Blostein and Young-Bin Kwon. Graphics Recognition - Algorithms and Applications, Springer Verlag, pp.273-288, 2002, Lecture Notes in Computer Science
Book sections inria-00100840v1

Support Vector Machines for Keyword Spotting

Yassine Benayed , Dominique Fohr , Jean-Paul Haton , Gérard Chollet
International Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
Conference papers inria-00100842v1

SSCRAP: An Environment for Coarse Grained Algorithms

Mohamed Essaïdi , Isabelle Guérin Lassous , Jens Gustedt
14th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS'2002, Nov 2002, Boston, MA, USA, pp.398-403
Conference papers inria-00100850v1

Continuous Speech Recognition using Structural Learning of Dynamic Bayesian Networks

Murat Deviren , Khalid Daoudi
XI European Signal Processing Conference - EUSIPCO 2002, Sep 2002, Toulouse, France, 4 p
Conference papers inria-00100855v1

A bijection for loopless triangulations of a polygon with interior points

Dominique Poulalhon , Gilles Schaeffer
International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Foda, O. and Guttmann, T., Jul 2002, Melbourne, Australie, France. 12 p
Conference papers inria-00100860v1

Conception d'aides en ligne pour le grand public : défis et propositions

Antonio Capobianco , Noëlle Carbonell
Conférence Ergonomie et informatique avancée - ERGO IA 2002, 2002, Biarritz, France. pp.309-335
Conference papers inria-00100871v1

Conception d'aides en ligne : revue de questions

Antonio Capobianco , Noëlle Carbonell
Journée d'étude du réseau thématique 'Systèmes d'aides opératoires', ACI Cognitique, 2002, Paris, France
Conference papers inria-00100872v1

Nouvelles situations et formes d'interaction, nouvelles catégories d'utilisateurs : un champ d'étude des usages à explorer

Noëlle Carbonell
Journée de lancement du Réseau thématique pluridisciplinaire 32 "Acceptabilité, ergonomie et usage des TIC, Département STIC du CNRS, 2002, Paris, France
Conference papers inria-00100873v1

Optimal routing in several deterministic queues with two service times

Bruno Gaujal , Emmanuel Hyon
Journal Européen des Systèmes Automatisés (JESA), 2002, 36 (7), pp.945-957
Journal articles inria-00100893v1

Optimal routing in timed continuous Petri nets applied to scheduling assignment problems

Gülgün Alpan , Bruno Gaujal
IEEE International Conference on Systems, Man and Cybernetics 2002 - IEEE SMC 2002, 2002, Hammamet/Tunisia
Conference papers inria-00100895v1

Le télémonitorage au domicile des patients à risque, Diatélic et TIISSAD

Jean-Pierre Thomesse
3ème Journée de la Société Française de Gériatrie et Gérontologie, 2002, Faculté de médecine de Bobigny/France
Conference papers inria-00100906v1

TIISSAD, Technologies de l'information intégrées aux services des soins à domicile

Jean-Pierre Thomesse
Colloque Hôpital Pompidou 2002, 2002, Paris, France
Conference papers inria-00100907v1

Le télémonitorage au domicile des patients à risque: les projets Diatélic et TIISSAD

Jean-Pierre Thomesse
Techniques Hospitalières : la revue des techniciens de la santé, 2002, 665, pp.70
Journal articles inria-00100911v1

Evaluation de performances d'Ethernet commuté pour des applications temps réel

Anis Koubaa , Ye-Qiong Song
10th International Conference on Real Time and Embedded Systems - RTS'2002, 2002, Paris/France
Conference papers inria-00100917v1

Ethernet commuté pour applications temps réel

Ye-Qiong Song
Ecole d'informatique temps réel - IN2P3-CNRS, Sep 2002, La Londre les Maures/France
Conference papers inria-00100921v1

Outils pour l'expérimentation des technologies de l'informatique ambiante

Laurent Ciarletta , Isabelle Chrisment
16ème Congrès DNAC : De Nouvelles Architectures pour les communications - DNAC'2002, Dec 2002, Paris, France, 15 p
Conference papers inria-00100934v1

Éléments d'organisation du complexe Individu - Environnement artefactuel : Évaluation d'un système de réalité virtuelle d'aide à l'action

Didier Fass
Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, 2002, 3 (2), pp.75-94
Journal articles inria-00100991v1

Description et comparaison de deux techniques d'extraction automatique de règles dans une base de données

Martine Cadot , Amedeo Napoli
9ièmes Rencontres de la Société Francophone de Classification, Sep 2002, Toulouse, France, 4 p
Conference papers inria-00101014v1

Un élément de gestion des réseaux actifs

Virginie Galtier
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21, pp.899-924
Journal articles inria-00101021v1

Planification de chemin utilisant des méthodes analytiques et stochastiques

Hubert Cecotti
[Stage] A02-R-537 || cecotti02a, 2002, 43 p
Reports inria-00101034v1