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

Filter your results

707 Results
Deposit type : Notice

Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories

Hélène Kirchner , Pierre-Etienne Moreau
Journal of Functional Programming, 2001, 11 (3), pp.207-251
Journal articles inria-00100926v1

A General Framework to Build Contextual Cover Set Induction Provers

Sorin Stratulat
Journal of Symbolic Computation, 2001, 32 (4), pp.403-445
Journal articles inria-00100927v1

Flexible Data Management and Execution to Support Cooperative Workflow: the COO approach

Daniela Grigori , François Charoy , Claude Godart
Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications - CODAS'2001, IEEE, Apr 2001, Beijing, China, pp.124-131, ⟨10.1109/CODAS.2001.945158⟩
Conference papers inria-00100408v1

Computer validated proofs of a toolset for adaptable arithmetic

Sylvie Boldo , Marc Daumas , Claire Moreau-Finot , Laurent Thery
2001
Preprints, Working Papers, ... hal-00018530v1

Modélisation et analyse de la documentation technique d'un système

Dominique Cansell , Dominique Méry , Airy Weinzoepflen
Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p
Conference papers inria-00101089v1

Multi-band automatic speech recognition

Christophe Cerisara , Dominique Fohr
Computer Speech and Language, 2001, 15 (2), pp.151-174
Journal articles inria-00101094v1

Solving numerical constraints

Alexander Bockmayr , Volker Weispfenning
A. Robinson and A. Voronkov. Handbook of Automated Reasoning, Elsevier, pp.751-842, 2001
Book sections inria-00101100v1

Multi-agent simulation in biology: application to social spiders case

Christine Bourjot , Vincent Chevrier
Agent Based Simulation, Apr 2001, Passau, Germany, pp.18-23
Conference papers inria-00100462v1

Managing Highly Dynamic Services using Extended Temporal Network Information Models

Radu State , Olivier Festor , Emmanuel Nataf
Seventh IFIP/IEEE International Symposium on Integrated Network Management - IM'2001, 2001, Seattle, Washington, USA, pp.705-718
Conference papers inria-00100478v1

A parallel simulator to build distributed neural algorithms

Yann Boniface
International Joint Conference on Neural Networks - IJCNN'01, 2001, Washington, USA, 5 p
Conference papers inria-00100486v1

Language-specific knowledge and syllable structure effects in the perception of tonal contrast

Mariapaola d'Imperio
Invited Talk, 2001, Max Plank Institut for Psycholinguistics
Conference papers inria-00100494v1

Modal Logic

Patrick Blackburn , Maarten de Rijke , Yde Venema
Cambridge University Press, 576 p, 2001, Cambridge Tracts in Theoretical Computer Science
Books inria-00100502v1

Gossiping in chordal rings under the line model

Lali Barrière , Johanne Cohen , Margarida Mitjana
Theoretical Computer Science, 2001, 264 (1), pp.53-64. ⟨10.1016/S0304-3975(00)00213-9⟩
Journal articles inria-00100504v1

Unslotted deflection routing: a practical and efficient protocol for multihop optical networks

Thierry Chich , Johanne Cohen , Pierre Fraigniaud
IEEE/ACM Transactions on Networking, 2001, 9 (1), pp.47-59
Journal articles inria-00100505v1

Genetic Algorithms for the Flow Shop Scheduling Problem with availability constraints

Riad Aggoune , Abdel Halim Mahdi , Marie-Claude Portmann
IEEE International Conference on Systems, Man, and Cybernetics 2001, 2001, Tucson, Arizona
Conference papers inria-00100516v1

System presentation: An analyser of rewriting system complexity

Jean-Yves Moyen
Second International Workshop on Rule-Based Programming - RULE'01, Université de Florence, 2001, Firenze, Italy, 7 p
Conference papers inria-00100525v1

Structural Learning of Dynamic Bayesian Networks in Speech Recognition

Murat Deviren , Khalid Daoudi
7th European Conference on Speech Communication and Technolgoy - EUROSPEECH'2001, Sep 2001, Aalborg, Denmark, 4 p
Conference papers inria-00100526v1

Looking for Scalable Agents

Olivier Buffet , Alain Dutech
European Workshop On Reinforcement Learning, Marco Wiering, 2001, Utrecht, The Netherlands, 2 p
Conference papers inria-00100537v1

Learning to use contextual information for solving POMDP

Alain Dutech , Bruno Scherrer
European Workshop on Reinforcement Learning - EWRL-5, Oct 2001, Utrecht, The Netherlands, 2 p
Conference papers inria-00100539v1

Studying articulatory effects through hypercube sampling of the articulatory space

Slim Ouni , Yves Laprie
17th International Congress on Acoustics, 2001, Rome, Italy, 2 p
Conference papers inria-00100541v1

Automated Deduction in Geometry - ADG 2000 Revised Papers

Jürgen Richter-Gebert , Dongming Wang
Springer, 325 p, 2001, Lecture Notes in Artificial Intelligence
Books inria-00100652v1

Réhabilitons les doublons !

Emmanuel Nauer
Veille Stratégique Scientifique et Technique - VSST 2001, FPC/UPC - SFBA - IRIT, 2001, Barcelona, Spain, pp.35-48
Conference papers inria-00100658v1

La géométrie dans l'espace avec METAPOST

Denis Roegel
Cahiers Gutenberg, 2001, 39-40, pp.107-138
Journal articles inria-00100661v1

Relationship-Based Dynamic Versioning of Evolving Legal Documents

Mercedes Martinez , Pablo de La Fuente , Jean-Claude Derniame , Alberto Pedrero
Workshop on Web Applications for the Legal Domain - WALD'2001 in 14th International Conference on Applications of Prolog - INAP'2001, 2001, Tokyo, Japon, pp.290 - 305
Conference papers inria-00100686v1

La communication de groupes dans l'Internet : Protocoles et Outils de supervision

Olivier Festor , Hassen Sallay
[Interne] A01-R-434 || festor01a, 2001, 34 p
Reports inria-00100707v1

Un modèle d'interaction pour les équipes virtuelles coopérantes

Samir Tata , Gérôme Canals , Claude Godart
Réseaux et systèmes répartis, calculateurs parallèles, 2001, 13 (2-3), pp.267-294
Journal articles inria-00100568v1

A Common Framework for Syntactic Annotation

Nancy Ide , Laurent Romary
Association for Computational Linguistics - ACl'2001, 2001, Toulouse, France, 8 p
Conference papers inria-00100593v1

AIL V2 - Reference Manual

Françoise Simonot-Lion , Mondher Attia , A. Bouali , J.L. Boucheron , O. Cayrol , et al.
[Contrat] A01-R-322 || simonot-lion01c, 2001
Reports inria-00100601v1

A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields

Dongming Wang , Dongdai Lin
D. Lin; W. Li; Y. Yu. Mathematics and Mathematics-Mechanization, Shandong Education Publishing House, pp.138-172, 2001
Book sections inria-00100620v1

Combining Symbolic and Numeric Techniques for Database Content Analysis

Yannick Toussaint , Jean-Charles Lamirel , Mathieu d'Aquin
AI/IEA01, 2001, none
Conference papers inria-00100633v1