Home
Browse
Document list
List by document type
List by year
List by subject
List by authors
by stamp
Search
Simple search
Advanced search
Id search
Services
Export a publication list
Haltools
Help
3527 articles – 5253 references
[version française]
.:.
Browse
>
Document list
.:.
8780 documents ordered by :
Date
Title
first author name
document type
Submit date
...
823
-
824
-
825
-
826
-
827
-
828
-
829
...
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]
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]
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]
Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
Ringeissen C., Monfroy E.
Dans ERCIM/COMPULOG Workshop on Constraints (1999) 17 p [inria-00098827 - version 1]
Interval Reductions and Extensions of Orders : Bijections to Chains in Lattices
Felsner S., Gustedt J., Morvan M.
Order
15, 3 (1999) 221-246 [inria-00098826 - version 1]
Digital VLSI implementation of a multi-precision neural network classifier
Bermak A., Martinez D.
Dans 6th International Conference on Neural Information Processing - ICONIP'99 (1999) 6 p [inria-00098829 - version 1]
An integrated vision system: object detection and localization
Reyna R., Esteve D., Martinez D.
Dans 3rd International Workshop on design of mixed mode integrated circuits & applications (1999) nc [inria-00098828 - version 1]
Finiteness Theorems for Graphs and Posets Obtained by Compositions
Gustedt J.
Order
15, 3 (1999) 203-220 [inria-00098825 - version 1]