Accueil
Consultation
Liste des documents
Liste par type de document
Liste par année
Liste par discipline
Liste par auteurs
Par sous-collection
Recherche
Recherche simple
Recherche avancée
Recherche par identifiant
Services
Export d'une liste de publications
Haltools
Aide
3526 articles – 5249 Notices
[english version]
.:.
Consultation
>
Liste des documents
.:.
8775 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
...
822
-
823
-
824
-
825
-
826
-
827
-
828
...
Compact DAG Representation and its Dynamic Scheduling
Cosnard M., Jeannot E.
Journal of Parallel and Distributed Computing
58, 3 (1999) 487-514 [inria-00098841 - version 1]
Reconnaissance de tables de matières
Belaïd A., Pierron L.
N° 99-R-220 || belaid99b (1999) [inria-00098840 - version 1]
Microscopic modeling of support system for in-vehicle embedded systems
Courrier M., Simonot-Lion F., Song Y.-Q.
Dans
Distributed and parallel embedded systems
, Kluwer Academic Publishers (Ed.) (1999) 139-148 [inria-00098839 - version 1]
EXTRAFOR : automatic EXTRAction of mathematical FORmulas
Kacem A., Belaid A., Ben Ahmed M.
Dans International Conference on Document Analysis & Recognition - ICDAR'99 (1999) 527-530 [inria-00098838 - version 1]
A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
Pilière C.
Dans 12th International Symposium on Fundamentals of Computation Theory - FCT'99 1684 (1999) 421-432 [inria-00098837 - version 1]
Vérification des Systèmes Réactifs Dans le Modèle Synchrone
Azaiez R.
N° 99-R-209 || azaiez99a (1999) [inria-00098836 - version 1]
Unranking of unlabelled decomposable structures
Bertault F., Zimmermann P.
Dans Troisième Conférence International sur les Ensembles Ordonnés, Algorithmes et Applications - Ordal'99 (1999) 12 [inria-00098835 - version 1]
Workshop on Formalisation of Adaptation in Case-Based Reasoning
Lieber J., Melis E., Mille A., Napoli A.
none (Ed.) (1999) [inria-00098834 - version 1]
The Application of Support Vector Machines with Gaussian Kernels for Overcoming Co-channel Interference
Albu F., Martinez D.
Dans IEEE Workshop on Neural Networks for Signal Processing IX (1999) 49-57 [inria-00098830 - version 1]
Contour Tracking in Echocardiographic Sequences without Learning Stage : Application To the 3D Reconstruction of The Beating Left Ventricule
Berger M.-O., Winterfeldt G., Lethor J.-P.
Dans International Conference for Medical Image Computing & Computer Assisted Intervention - MICCAI'99 1679 (1999) 508--515 [inria-00098833 - version 1]