Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

489 résultats
Page :
triés par
Image document

A consistent ale-rezoned mesh adaption algorithm for compressible flow finite-element calculations

 Bernadette Palmerio
[Research Report] RR-0829, INRIA. 1988
Rapport inria-00075722v1

Inférences non-classiques en intelligence articielle. Ebauche de comparaisons sur un exemple

 Philippe Besnard , Marie-Odile Cordier , Didier Dubois , Christine Froidevaux , Yves Moinard , et al.
3ème Colloque International de l'ARC sur la Cognition et la Connaissance (1988), Association pour la recherche cognitive (Arc), Mar 1988, Toulouse, France. pp.137--230
Communication dans un congrès hal-04200918v1
Image document

Recueil et analyse de l'expertise dans une activité de conception: questions de méthode

 Willemien Visser , Pierre Falzon
Psychologie Française, 1988, Psychologie de l'Expertise, 33, pp.133-138
Article dans une revue hal-00651048v1
Image document

Mailleur 3D en topologie "cylindrique

 Paul-Louis George , A. Golgolab
RT-0100, INRIA. 1988, pp.35
Rapport inria-00070066v1
Image document

Module BSPLIN : manuel d'utilisation et de reference

 F.J. Palma Molina
RT-0096, INRIA. 1988, pp.44
Rapport inria-00070070v1
Image document

MACROTEX : a LATEX code generator in MACSYMA

 J.P. Chancelier , Agnès Sulem
[Research Report] RT-0093, INRIA. 1987, pp.26
Rapport inria-00070073v1
Image document

Schema evolution in object-oriented database systems

 G.T. Nguyen , D. Rieu
[Research Report] RR-0947, INRIA. 1988
Rapport inria-00077183v1
Image document

Computation of the asymptotic states for linear half space kinetic problems

 F. Coron
RR-0960, INRIA. 1988
Rapport inria-00075599v1
Image document

Les graphes à motifs

 Didier Caucal
[Rapport de recherche] RR-0958, INRIA. 1988
Rapport inria-00075601v1
Image document

Verification of distributed systems : an experiment

 Didier Vergamini
[Research Report] RR-0934, INRIA. 1988
Rapport inria-00075624v1
Image document

Un conferencier reparti sous SOS et portage de l'editeur de liens dynamique

 Y. Gourhant
RR-0785, INRIA. 1988
Rapport inria-00075766v1
Image document

MLREG : un generateur de bases de connaissances par modelisation lineaire

 T. Cembrzynski
RR-0769, INRIA. 1987
Rapport inria-00075783v1
Image document

An operational formal definition of PROLOG (comprehensive version of RR 598)

 Pierre Deransart , Gérard Ferrand
[Research Report] RR-0763, INRIA. 1987
Rapport inria-00075789v1
Image document

Random tree models in the analysis of algorithms

 Philippe Flajolet
RR-0729, INRIA. 1987
Rapport inria-00075823v1
Image document

Average-case analysis of algorithms and data structures

 Philippe Flajolet , J.S. Vitter
[Research Report] RR-0718, INRIA. 1987
Rapport inria-00075834v1
Image document

Comparaison de partitions avec des marges fixées ; développements récents

 Israël-César Lerman
[Rapport de recherche] RR-0701, INRIA. 1987
Rapport inria-00075852v1
Image document

Distributed system structuring using multi-functions

 Jean-Pierre Banâtre , Michel Banâtre , Florimond Ployette
[Research Report] RR-0694, Inria. 1987
Rapport inria-00075859v1
Image document

Knowledge-based methodology in pattern recognition and understanding

 Jean-Paul Haton
[Research Report] RR-0691, INRIA. 1987
Rapport inria-00075862v1
Image document

Acyclic fork-join queueing networks

 François Baccelli , W.A. Massey , D. Towsley
RR-0688, INRIA. 1987
Rapport inria-00075865v1
Image document

A denotational theory of synchronous communicating systems

 Albert Benveniste , Paul Le Guernic
[Research Report] RR-0685, INRIA. 1987
Rapport inria-00075868v1
Image document

ECRINS un laboratoire de preuve pour les calculs de processus

 Eric Madelaine , Robert de Simone
[Rapport de recherche] RR-0672, INRIA. 1987
Rapport inria-00075881v1
Image document

le support de domaines complexes dans SABRINA: une approche par integration d'un interpreteur LISP

 G. Kiernan , R. Le Maoult , F. Pasquer
RR-0671, INRIA. 1987
Rapport inria-00075882v1
Image document

Methodologie d'analyse des resultats du modele de planification du reseau de transport a tres haute tension d'EDF

 T. Cembrzynski
RR-0651, INRIA. 1987
Rapport inria-00075902v1
Image document

On the uniqueness of local minima for general abstract non-linear least square problems

 Guy Chavent
[Research Report] RR-0645, INRIA. 1987
Rapport inria-00075908v1
Image document

Acquisition d'un outil de specification (GRAFCET) pour decrire un procede automatise

 A. Morais
RR-0631, INRIA. 1987
Rapport inria-00075922v1
Image document

On r-partitions designs in hamming spaces

 Paul Camion , Bernard Courteau , Philippe Delsarte
RR-0626, INRIA. 1987
Rapport inria-00075927v1
Image document

M/M/1 multiclass FIFO queues and generalizations

 Gerardo Rubino , Raymond Marie
[Research Report] RR-0617, INRIA. 1987
Rapport inria-00075937v1
Image document

Un schéma multigrille en éléments finis décentré pour les équations d'Euler

 Marie-Helene Lallemand , Loula Fatima Fezoui , Eric Perez
[Rapport de recherche] RR-0602, INRIA. 1987
Rapport inria-00075952v1
Image document

Vers des outils formels de description des taches orientes conception d'interfaces

 Dominique Scapin
RR-0893, INRIA. 1988
Rapport inria-00075662v1
Image document

Towards a lambda-calculus for concurrent and communicating systems

 Gérard Boudol
[Research Report] RR-0885, INRIA. 1988, pp.11
Rapport inria-00075669v1
Page :