Filter your results
- 859
- 891
- 1
- 390
- 316
- 83
- 36
- 16
- 10
- 2
- 2
- 2
- 1
- 1
- 13
- 10
- 1
- 1
- 617
- 188
- 73
- 44
- 11
- 8
- 8
- 6
- 5
- 1
- 1
- 859
- 696
- 152
- 10
- 1
- 363
- 320
- 140
- 80
- 77
- 55
- 50
- 40
- 37
- 27
- 23
- 22
- 21
- 19
- 19
- 19
- 18
- 17
- 17
- 13
- 13
- 11
- 10
- 9
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 18
- 18
- 16
- 12
- 11
- 11
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
|
Direct phasing by binary integer programmingActa 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 logic18th International Conference on Automated Deduction - CADE-18, 2002, Copenhagen/Denmark, pp.111-128
Conference papers
inria-00100790v1
|
|||
LINK: a Proof Environment based on Proof netsInternational 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 NetworksEuropean Wireless, Feb 2002, Florence, Italy, 7 p
Conference papers
inria-00100797v1
|
|||
Pose Estimation for Planar StructuresIEEE 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)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 Diagnosis4th 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 fusionThe 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 CommunitySecond 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 MCTQuatorziè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 VectorizationDorothea 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 SpottingInternational Workshop speech and computer - SPECOM'2002, Sep 2002, St-Petersburg, Russia, 4 p
Conference papers
inria-00100842v1
|
|||
SSCRAP: An Environment for Coarse Grained Algorithms14th 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 NetworksXI 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 pointsInternational 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 propositionsConfé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 questionsJourné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 à explorerJourné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 timesJournal 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 problemsIEEE 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 TIISSAD3è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 à domicileColloque 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 TIISSADTechniques 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éel10th International Conference on Real Time and Embedded Systems - RTS'2002, 2002, Paris/France
Conference papers
inria-00100917v1
|
|||
Ethernet commuté pour applications temps réelEcole 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 ambiante16è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'actionRevue 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ées9iè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 actifsRevue 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[Stage] A02-R-537 || cecotti02a, 2002, 43 p
Reports
inria-00101034v1
|