1. Recherche
10391 résultats  enregistrer la recherche
inria-00100038v1  Communication dans un congrès
Isabelle Debled-Rennesson, Salvatore Tabbone, Laurent Wendling. Fast polygonal approximation of digital curves
17th International Conference on Pattern Recognition - ICPR'04, Aug 2004, Cambridge, United Kingdom, 1, pp.465-468, 2004
inria-00100043v1  Communication dans un congrès
Irina Illina, Dominique Fohr, Odile Mella, Christophe Cerisara. The Automatic News Transcription System: ANTS some Real Time experiments
8th International Conference on Spoken Language Processing - ICSLP' 2004, 2004, Jeju, Corée du Sud, 4 p, 2004
...
tel-00011138v1  Thèse
Carla Maria Chagas E Cavalcante Koike. Bayesian Approach to Action Selection and Attention Focusing. An Application in Autonomous Robot Programming.
Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. English
inria-00100072v1  Chapitre d'ouvrage
Bernard Girau. FPNA: concepts and properties
Amos Omondi, Jagath Rajapakse. FPGA Implementations of Neural Networks, Kluwer Academic Publishers, pp.1-42, 2004
inria-00100075v1  Communication dans un congrès
Jean-Charles Lamirel. Optimized Data Analysis Based on Neural Networks: Experiments on the MultiSOM Model in the Framework of Patent and Web Data Analysis
The 4th Sino Franco Workshop on Web Technologies, 2004, Tamkang, Taiwan, 2 p, 2004
inria-00100076v1  Direction d'ouvrage, Proceedings
Olivier Festor, André Schaff. Standards pour la gestion des réseaux et des services
Hermès Science Publishing, 252 p, 2004, IC2 Réseaux et Télécoms
inria-00100081v1  Communication dans un congrès
Philippe De Groote, Bruno Guillaume, Sylvain Salvati. Vertor Addition Tree Automata
19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, pp.64-73, 2004
inria-00100063v1  Communication dans un congrès
Thomas Bangemann, Jean-Pierre Thomesse, Benoît Lepeuple, Christian Diedrich. PROTEUS providing a concept for integrating online data into global maintenance strategies
2nd IEEE International Conference on Industrial Informatics - INDIN'2004, 2004, Berlin, Germany, IEEE, 2004
inria-00100064v1  Communication dans un congrès
Dominique Méry. Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation
Journées d'Etude "Automatique et Informatique", 2004, Cachan, France, 2004
inria-00100018v1  Communication dans un congrès
Jiming Chen, Ye-Qiong Song, Zhi Wang, Youxian Sun. Equivalent Matrix DBP for Streams with (m,k) - Firm Deadline
2004 IEEE International Symposium on Industrial Electronics - ISIE 2004, 2004, Ajaccio, France, IEEE, pp.675-680, 2004
inria-00100025v1  Communication dans un congrès
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles. Rule based programming in Java for protocol verification
Narciso Marti-Oliet and Manuel Clavel and Alberto Verdejo. 5th International Workshop on Rewriting Logic and its Applications - WRLA'2004, 2004, Barcelona, Spain, Elsevier, 18 p, 2004, Electronic Notes in Theoretical Computer Science
inria-00100027v1  Communication dans un congrès
Salvatore Tabbone, Laurent Wendling. Binarization of Color Images from an Adaptation of Possibilistic C-Means Algorithm
17th International Conference on Pattern Recognition - ICPR 2004, 2004, Cambridge, United Kingdom, IEEE Computer Society, 1, 4 p, 2004
inria-00100029v1  Communication dans un congrès
Salvatore Tabbone, Laurent Wendling. Retrieving Images by Content from Strong Relational Graph Matching.
17th International Conference on Pattern Recognition - ICPR 2004, 2004, Cambridge, United Kingdom, IEEE Computer Society, 2, 4 p, 2004
...
inria-00100041v1  Communication dans un congrès
Nicolas Holzschuch, Laurent Alonso. Combining Higher-Order Wavelets and Discontinuity Meshing: a Compact Representation for Radiosity
Alexander Keller and Henrik Wann Jensen. Eurographics Symposium on Rendering 2004 - EGSR 2004, Jun 2004, Norrköping, Sweden. pp.275-286, 2004, <http://www.eg.org/EG/DL/WS/EGWR/EGSR04/PDF/275-286.pdf>
inria-00100052v1  Communication dans un congrès
Francis Alexandre, Khaled Bsaïes, Moussa Demba. Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
Maurice Bruynooghe. Logic Based Program Synthesis and Transformation: 13th International Symposium - LOPSTR 2003, 2003, Uppsala, Sweden, Springer Verlag, 3018, pp.20-33, 2003, Lecture Notes in Computer Science
inria-00100090v1  Article dans une revue
Ammar Oulamara, Mikhail Y. Kovalyov, Gerd Finke. Scheduling a No-Wait Flow Shop with Unbounded Batching Machines
IIE Transactions on Scheduling and Logistics, 2004, 31 p
inria-00100102v1  Communication dans un congrès
Pavel Kral, Jana Kleckova, Christophe Cerisara. Analysis of Importance of the prosodic Features for Automatic Sentence Modality Recognition in French in real Conditions
WSEAS International Conference on Electronics, Control and Signal Processing - ICECS'04, Nov 2004, Crete, Greece, 3/9 (9), pp.1820-1824, 2004
inria-00100109v1  Communication dans un congrès
Benjamin Wack. The Simply-typed Pure Pattern Type System Ensures Strong Normalization
Jean-Jacques Lévy. 3rd IFIP International Conference on Theoretical Computer Science - TCS'2004, 2004, Toulouse, France, Kluwer Academic Publishers, pp.633-646, 2004
inria-00100115v1  Article dans une revue
Jacques Lonchamp. Travail coopératif - les leçons d'Internet
L'Informatique Professionnelle, Gartner EXP-BLG, 2004, pp.19--23
inria-00100120v1  Communication dans un congrès
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. A proof of weak termination providing the right way to terminate
First International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, Springer Verlag, 15 p, 2004, Lecture notes in Computer Science
inria-00100123v1  Chapitre d'ouvrage
Dominique Cansell, Stefan Hallerstede, Ian Oliver. UML-B specification and hardware implementation of a Hamming coder/decoder
Jean Mermet. UML-B - Specification for Proven Embedded Systems Design, Kluwer Academic Publishers, 2004
inria-00100037v1  Communication dans un congrès
Isabelle Debled-Rennesson. Estimation of Tangents to a Noisy Discrete Curve
Latecki, Longin Jan and Mount, David M. and Wu, Angela Y. Vision Geometry XII, Electronic Imaging, 2004, San Jose, California, USA, 5300, pp.117-126, 2004, Proceedings of the SPIE
inria-00100045v1  Communication dans un congrès
Filipp Korkmazsky, Murat Deviren, Dominique Fohr, Irina Illina. Hidden Factor Dynamic Bayesian Networks for Speech Recognition
8th International Conference on Spoken Language Processing - ICSLP'2004, 2004, Jeju, Corée du Sud, 4 p, 2004
inria-00100048v1  Communication dans un congrès
Didier Galmiche, Daniel Méry. Resource Graphs and Countermodels in Resource Logics
IJCAR 2004 Workshop W1 on Disproving - Non-Theorems, Non-validity, Non-Provability, 2004, Cork/Ireland, 2004
inria-00100080v1  Communication dans un congrès
Khaled Ben Khalifa, Bernard Girau, Frédéric Alexandre, Mohamed Hedi Bedoui. Parallel FPGA implementation of self-organizing maps
International Conference on Microelectronics - ICM'04, 2004, Tunis, Tunisia, 4 p, 2004
...
inria-00100087v1  Communication dans un congrès
Abdel Belaïd, Isabelle Turcan, Jean-Marie Pierrel, Yolande Belaïd, Yves Rangoni et al.  Automatic indexing and reformulation of ancient dictionaries
First International Workshop on Document Image Analysis for Libraries - DIAL'2004, Jan 2004, Palo Alto, United States. IEEE, pp.342--354, 2004, <10.1109/DIAL.2004.1263264>
...
tel-00250225v1  Thèse
Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français

Contact


archive-ouverte@inria.fr