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

Filter your results

175 Results
Deposit type : Notice

L'élément chimique dans les écrits et dans les esprits contemporains.

Janine Thibault , Pierre Figuière , Jean Jacques Legendre , Adolphe Pacault , Andrée Tiberghien
L'Actualité Chimique, 1994, juillet-aout 1994, pp.P 56-57
Journal articles hal-00326812v1

An architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors

Michel Banâtre , Alain Gefflaut , Philippe Joubert , Christine Morin , Pete Lee
[Technical Report] 485, University of Newcastle upon Tyne. 1994
Reports hal-01276682v1

Modular arrangement of proteins as inferred from analysis of homology

E.L.L. Sonnhammer , D. Kahn
Protein Science, 1994, 3, pp.482-492
Journal articles hal-00698223v1

Tolerating Node Failures in Cache Only Memory Architectures

Alain Gefflaut , Christine Morin , Michel Banâtre
Proc. of Supercomputing'94, 1994, Washington, DC, USA, United States. pp.498--507
Conference papers hal-01271150v1

Stabilization of a class of multi-inputs nonlinear systems

Abderrahman Iggidr , Jean-Claude Vivalda
Systems and Control Letters, 1994, 22 (6), pp.407--417. ⟨10.1016/0167-6911(94)90084-1⟩
Journal articles istex hal-01860807v1

A Multi-paradigm Object Oriented Parallel Environment

Jean-Marc Jézéquel , F. Hamelin , Thierry Priol
Int. Parallel Processing Symposium IPPS'94 proceedings, Apr 1994, RENNES, France
Conference papers hal-00765360v1

An introduction to randomization in computational geometry

Olivier Devillers
Workshop on Algorithmic Complexity of Algebraic and Geometric Models, 1994, ~, France
Conference papers hal-01179699v1

Urban area detection in satellite images using map knowledge by a feedback control technique

Shan Yu , Marc Berthod
12th IAPR International Conference on Pattern Rexognition, Oct 1994, Jérusalem, Israel. pp.98-102, ⟨10.1109/ICPR.1994.576236⟩
Conference papers hal-01089039v1

Joint Invariants of a Triplet of Coplanar Conics: Stability and Discriminating Power for Object Recognition

Françoise Veillon , Long Quan
[Technical Report] IMAG-RT - 94-126 ; LIFIA - 94-027, 1994, pp.13
Reports inria-00590036v1

Evaluating array expressions on massively parallel machines with communication/computation overlap

Vincent Bouchitte , Pierre Boulet , Alain Darte , Yves Robert
Parallel Processing: CONPAR94 - VAPP VI, 1994, Unknown, pp.713-724
Conference papers hal-00857085v1

An ¸al O(n2) Algorithm for 3D Substructure Matching of Proteins

Xavier Pennec , Nicholas Ayache
Shape and Pattern Matching in Computational Biology -- Proc. First Int. Workshop, Seattle, Wash, June 20, 1994, 1994, Seattle, Wash, United States. pp.25--40
Conference papers inria-00615736v1

A Calculus for the Random Generation of Labelled Combinatorial Structures

Philippe Flajolet , Paul Zimmermann , Bernard Van Cutsem
Theoretical Computer Science, 1994, 132 (1-2), pp.1-35. ⟨10.1016/0304-3975(94)90226-7⟩
Journal articles hal-00917729v1

Some new Decidability Results on Positive and Negative Set Constraints

Rémi Gilleron , Sophie Tison , Marc Tommasi
Proceedings of First International Conference on Constraints in Computational Logics, CCL'94, 1994, Munich, Germany. pp.336--351
Conference papers inria-00538880v1

Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems

Irène A. Durand
Journal of Symbolic Computation, 1994, 18, pp.319--352
Journal articles hal-00344335v1

Le système expert NEREIS des annélides polychètes de France (ordre des Phyllodocida, Amphinomida, Spintherida et Eunicida)

Narendra Jussien , Vincent Verger , Yvon L'Hospitalier , Bernard Augereau , Patrick Gillet
Canadian Journal of Zoology, 1994, 72 (12), pp.2255--2260
Journal articles hal-00442832v1

Shape from Motion Algorithms: a Comparative Analysis of Scaled Orthography and Perspective.

Boubakeur Boufama , Daphna Weinshall , Michael Werman
3rd European Conference on Computer Vision (ECCV '94), May 1994, Stockholm, Sweden. pp.199--204, ⟨10.1007/3-540-57956-7_23⟩
Conference papers istex inria-00590029v1

Shape : a method for surface prevision

Pierre Bessiere , Remis Balaniuk , Emmanuel Mazer
--, 1994, France
Conference papers hal-00089297v1

Amplification of the ancient murine Lx family of long interspersed repeated DNA occurred during the murine radiation

Anthony V. Furano , Bruce E. Hayward , Pascale C Chevret , François Catzeflis , Karen Usdin
Journal of Molecular Evolution, 1994, 38 (1), ⟨10.1007/bf00175491⟩
Journal articles istex hal-02336810v1

Interaction between a hypermedia and a knowledge base for the management of a knowledge system about the brain

Elisabeth Montabord , Serge Garlatti , Bernard Gibaud , Christian Barillot
NNESMED'94 : International Conference on Neural Networks and Expert Systems in Medicine and Healthcare, August 24-26, Plymouth, Aug 1994, Plymouth, United Kingdom. pp.136 - 145
Conference papers hal-02142965v1

Independent Motion Segmentation and Collision Prediction for Road vehicules

David Sinclair , Boubakeur Boufama , Roger Mohr
International Conference on Computer Vision & Pattern Recognition (CVPR '94), Jun 1994, Seattle, United States. pp.958--961, ⟨10.1109/CVPR.1994.323933⟩
Conference papers inria-00548406v1

Correlation Techniques in Adaptative Template Matching with Uncalibrated Cameras

Paolo Remagnino , Pascal Brand , Roger Mohr
SPIE Conference on Videometrics, Nov 1994, Boston, United States. pp.252--253
Conference papers inria-00548407v1

A Kind of Achievement by part Method

Jean-Paul Delahaye , Philippe Mathieu
Proceedings of 1994 International Conference on Logic Programming and Automated Reasoning (LPAR'94), 1994, undef, France. pp.320--332
Conference papers hal-00732028v1

NRSub: a non-redundant data base for the Bacillus subtilis genome

G. Perrière , Manolo Gouy , T. Gojobori
Nucleic Acids Research, 1994, 22 (25), pp.5525-5529. ⟨10.1093/nar/22.25.5525⟩
Journal articles hal-00698135v1

Antigenicity and immunogenicity of P30-derived peptides in experimental models of toxoplasmosis

I. Godard , J. Estaquier , L. Zenner , M. Bossus , C. Auriault , et al.
Molecular Immunology, 1994, 31(17), pp.1353-1363
Journal articles hal-00697901v1

Solving the token distribution problem on k-ary d-cube networks

Stéphane Ubéda , Marc Gengler , Claude Diderich
Int. Symp. on Parallel Architectures, algorithms and networks, 1994, Kanazan, Japan
Conference papers hal-01355346v1

Parallel color quantization on a LAN of workstations with distributed storage

Stéphane Ubéda , Xavier Vigouroux
PVM User Group, 1994, Knoxville, United States
Conference papers hal-01355338v1

Availability of large-scale Shared Memory Multiprocessors: Architecture Proposal and System Problematic

Michel Banâtre , Christine Morin
Journées Jacques Cartier, 1994, Grenoble, France
Conference papers hal-01272410v1

A Real Time Multiprocessor Application Development Environment Design And Implementation

Nacer-Eddine Zergainoh , T. Maurin , Y. Sorel , Christophe Lavarenne
IEEE Workshop on Parallel and Distributed Processing, Jan 1994, Malaga, Spain
Conference papers hal-01445868v1

Off-Line Handwriting Recognition by Statistical Correlation

George Saon , Abdel Belaïd , Yifan Gong
IAPR Workshop on Machine Vision Applications - MVA'94, IAPR, Dec 1994, Kawasaki, Japan. pp.371-374
Conference papers inria-00533959v1

Which model for future speech recognition systems: Hidden Markov models for finite-state automata?

Joseph Di Martino , Jean-François Mari , B. Mathieu , K. Perot , Kamel Smaïli
IEEE International Conference on Acoustics, Speech, and Signal Processing - ICASSP-94, 1994, Adelaïd, Australia. pp.633-635
Conference papers hal-00589127v1