Filter your results
- 707
- 626
- 1
- 361
- 248
- 41
- 19
- 14
- 11
- 6
- 5
- 1
- 1
- 6
- 1
- 546
- 149
- 66
- 30
- 8
- 6
- 5
- 5
- 4
- 2
- 1
- 707
- 583
- 119
- 4
- 1
- 346
- 311
- 93
- 75
- 49
- 31
- 30
- 24
- 23
- 19
- 17
- 14
- 13
- 13
- 12
- 10
- 10
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 15
- 15
- 13
- 11
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative TheoriesJournal of Functional Programming, 2001, 11 (3), pp.207-251
Journal articles
inria-00100926v1
|
|||
A General Framework to Build Contextual Cover Set Induction ProversJournal of Symbolic Computation, 2001, 32 (4), pp.403-445
Journal articles
inria-00100927v1
|
|||
Flexible Data Management and Execution to Support Cooperative Workflow: the COO approachProceedings 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 arithmetic2001
Preprints, Working Papers, ...
hal-00018530v1
|
||
Modélisation et analyse de la documentation technique d'un systèmeColloque 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 recognitionComputer Speech and Language, 2001, 15 (2), pp.151-174
Journal articles
inria-00101094v1
|
|||
Solving numerical constraintsA. 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 caseAgent Based Simulation, Apr 2001, Passau, Germany, pp.18-23
Conference papers
inria-00100462v1
|
|||
Managing Highly Dynamic Services using Extended Temporal Network Information ModelsSeventh 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 algorithmsInternational 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 contrastInvited Talk, 2001, Max Plank Institut for Psycholinguistics
Conference papers
inria-00100494v1
|
|||
Modal LogicCambridge University Press, 576 p, 2001, Cambridge Tracts in Theoretical Computer Science
Books
inria-00100502v1
|
|||
|
Gossiping in chordal rings under the line modelTheoretical 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 networksIEEE/ACM Transactions on Networking, 2001, 9 (1), pp.47-59
Journal articles
inria-00100505v1
|
|||
Genetic Algorithms for the Flow Shop Scheduling Problem with availability constraintsIEEE International Conference on Systems, Man, and Cybernetics 2001, 2001, Tucson, Arizona
Conference papers
inria-00100516v1
|
|||
System presentation: An analyser of rewriting system complexitySecond 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 Recognition7th European Conference on Speech Communication and Technolgoy - EUROSPEECH'2001, Sep 2001, Aalborg, Denmark, 4 p
Conference papers
inria-00100526v1
|
|||
Looking for Scalable AgentsEuropean Workshop On Reinforcement Learning, Marco Wiering, 2001, Utrecht, The Netherlands, 2 p
Conference papers
inria-00100537v1
|
|||
Learning to use contextual information for solving POMDPEuropean 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 space17th International Congress on Acoustics, 2001, Rome, Italy, 2 p
Conference papers
inria-00100541v1
|
|||
Automated Deduction in Geometry - ADG 2000 Revised PapersSpringer, 325 p, 2001, Lecture Notes in Artificial Intelligence
Books
inria-00100652v1
|
|||
Réhabilitons les doublons !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 METAPOSTCahiers Gutenberg, 2001, 39-40, pp.107-138
Journal articles
inria-00100661v1
|
|||
Relationship-Based Dynamic Versioning of Evolving Legal DocumentsWorkshop 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[Interne] A01-R-434 || festor01a, 2001, 34 p
Reports
inria-00100707v1
|
|||
Un modèle d'interaction pour les équipes virtuelles coopérantesRé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 AnnotationAssociation for Computational Linguistics - ACl'2001, 2001, Toulouse, France, 8 p
Conference papers
inria-00100593v1
|
|||
AIL V2 - Reference Manual[Contrat] A01-R-322 || simonot-lion01c, 2001
Reports
inria-00100601v1
|
|||
A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension FieldsD. 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 AnalysisAI/IEA01, 2001, none
Conference papers
inria-00100633v1
|