Filtrer vos résultats
- 498
- 915
- 1
- 245
- 198
- 19
- 12
- 10
- 6
- 3
- 2
- 2
- 1
- 13
- 2
- 333
- 160
- 98
- 29
- 12
- 7
- 6
- 6
- 3
- 1
- 1
- 1
- 1
- 254
- 243
- 412
- 74
- 11
- 1
- 103
- 98
- 68
- 54
- 47
- 44
- 43
- 42
- 28
- 27
- 26
- 17
- 17
- 14
- 13
- 12
- 9
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 33
- 22
- 20
- 20
- 19
- 17
- 17
- 17
- 15
- 15
- 13
- 12
- 12
- 12
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 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
- 4
- 4
- 4
- 4
- 4
- 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
Perception et action dans le cadre d'une interface homme-machine multimodale : Etude expérimentaleJournées Internationales d'Orsay sur les Sciences Cognitives - JIOSC'97, 1997, Orsay, France
Communication dans un congrès
hal-00521607v1
|
|||
Search2: un outil de recherche dans une bibliothèque de preuves Coq modulo isomorphismes[Research Report] CEDRIC-97-730, CEDRIC Lab/CNAM. 1997
Rapport
hal-01124981v1
|
|||
Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismesPRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques, Jan 1997, Paris, France
Communication dans un congrès
hal-01124982v1
|
|||
Une nouvelle Methode de Compilation Logique : L'Achèvement par CyclesActes des Journées Francophones de Programmation Logique et Contraintes (JFPLC'96), 1996, undef, France
Communication dans un congrès
hal-00732014v1
|
|||
The Lift Dilemma or How to Establish Meta-Cooperation with your OpponentProceedings of the 1996 Chaos and Society Conference, 1996, undef, France
Communication dans un congrès
hal-00731979v1
|
|||
Recursive identification in hidden Markov modelsProceedings of the 36th Conference on Decision and Control, San Diego 1997, IEEE--CSS, Dec 1997, San Diego, United States. pp.3468-3473, ⟨10.1109/CDC.1997.652384⟩
Communication dans un congrès
hal-00912077v1
|
|||
Intelligent Agents for a Mobile Network Manager (MNM)Proceedings of the IFIP/IEEE International Conference on Intelligent Networks and Intelligence in Networks (2IN'97), Sep 1997, Paris, France. pp.449--463
Communication dans un congrès
hal-01271168v1
|
|||
Comparison and evaluation of retrospective intermodality brain image registration techniquesJournal of Computer Assisted Tomography, 1997, 21 (4), pp.554-566
Article dans une revue
inria-00615072v1
|
|||
Approches statistique de la surveillance: détection et diagnosticEcole d'été Surveillance des systèmes continus d' Automatique de Grenoble 1996, Sep 1996, Grenoble, France
Communication dans un congrès
hal-02884649v1
|
|||
Eye Reconstruction and CT-Retinography Fusion for Proton Treatment Planning of Ocular DiseasesCVRMed-MRCAS'97, 1997, Grenoble, France, France. pp.705--714
Communication dans un congrès
inria-00615778v1
|
|||
Conjugate gradient algorithm with edge- preserving regularization for microwave inverse scatteringProgress In Electromagnetic Research Symposium (PIERS 96), Jul 1996, Innsbruck, Austria. pp.355
Communication dans un congrès
hal-00987338v1
|
|||
A decomposition of the electric field. Application to the Darwin modelMathematical Models and Methods in Applied Sciences, 1997, 7 (8), pp.1085-1120. ⟨10.1142/S0218202597000542⟩
Article dans une revue
hal-01010405v1
|
|||
A characterization of one-to-one modular mappingsParallel Processing Letters, 1996, 5, pp.145-157
Article dans une revue
hal-00856914v1
|
|||
On the optimality of Allen and Kennedy's algorithm for parallelism extraction in nested loops[Research Report] 96-05, 1996
Rapport
hal-00856922v1
|
|||
How to optimize residual communications ?10th International Parallel Processing Symposium, 1996, Unknown, pp.382-391
Communication dans un congrès
hal-00856927v1
|
|||
Registration of Uncertain Geometric Features: Estimating the Pose and its AccuracyProc of the First Image Registration Workshop, November 20-21 1997, Greenbelt, Maryland, USA, CESDIS, 1997, Greenbelt, Maryland, USA, United States. pp.263--272
Communication dans un congrès
inria-00615789v1
|
|||
Extraction of 3D Structures and Ranking According to MorphologyWorld Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France
Communication dans un congrès
inria-00615799v1
|
|||
New Feature Points based on Geometric Invariants for 3D Image RegistrationInternational Journal of Computer Vision, 1996, 18 (2), pp.121--137
Article dans une revue
inria-00615043v1
|
|||
L'Image dans la Réalité VirtuelleMarc Dupuis. Nouvelles Interfaces Homme-Machine, Observatoire Français des Techniques Avancées, 1996, ARAGO
Chapitre d'ouvrage
inria-00615064v1
|
|||
Operator design pattern, application to parallel computationCollected papers from the PLoP '96 and EuroPLoP '96 Conferences, number wucs-97-07, 1996, Washington, United States
Communication dans un congrès
hal-00765493v1
|
|||
Utilisation des processus markoviens en reconnaissance de l'écritureTraitement du Signal, 1997, 14 (2), pp.161-177
Article dans une revue
inria-00537340v1
|
|||
Binary Pattern Recognition Using Markov Random Fields and HMMsIEEE International Conference on Acoustics, Speech, and Signal Processing - ICASSP 1997, Apr 1997, Munich, Germany. pp.3725 - 3728, ⟨10.1109/ICASSP.1997.604678⟩
Communication dans un congrès
inria-00537357v1
|
|||
Le SDACR : une loi et sa mise en œuvre[Rapport de recherche] Université Nancy2; Direction de la sécurité civile. 1997
Rapport
hal-02113435v1
|
|||
An Architecture for tolerating processor failures in shared-memory multiprocessorsIEEE Transactions on Computers, 1996, 45 (10), pp.1101--1115
Article dans une revue
hal-01271108v1
|
|||
Parallel computing of radio coverageIEEE Vehicular Technology Conference, 1996, Atlanta, United States
Communication dans un congrès
hal-01356213v1
|
|||
Compiling Constraints in clp(FD)Journal of Logic Programming, 1996, 27 (3), pp.185-226
Article dans une revue
hal-00693245v1
|
|||
A Simple and Efficient Boolean Solver for Constraint Logic ProgrammingJournal of Automated Reasoning, 1996, 17 (1), pp.97-129
Article dans une revue
hal-00693251v1
|
|||
Journées Nationales Réalité VirtuelleBalet, O. and Caubet, R. and Jessel, J.-P. and Subsol, Gérard. IRIT, 1996
Ouvrages
inria-00615014v1
|
|||
Simulation Active de Chirurgie EndoscopiqueRbm -Paris-, 1997, 19 (5), pp.167--172
Article dans une revue
inria-00615076v1
|
|||
Geometric and Physical Representations for a Simulator of Hepatic SurgeryMedecine Meets Virtual Reality IV, 1996, San Diego, USA, United States. pp.139-151
Communication dans un congrès
inria-00615766v1
|