Skip to Main content Skip to Navigation


inria-00100734v1  Conference papers
Gérald DuffingMalika Smaïl. Organising and Searching Partially Indexed Image Databases
24th BCS-IRSG European Colloquium on Information Retrieval Research, 2002, Glasgow, Scotland, UK, 19 p
inria-00100777v1  Journal articles
Vladimir Y. LuninAlexandre UrzhumtsevAlexander Bockmayr. Direct phasing by binary integer programming
Acta Crystallographica Section A Foundations and Advances, International Union of Crystallography, 2002, 58, pp.283-291
inria-00100948v1  Conference papers
Guillaume ThisselinAntony Vignier. A Scheduling Problem with Multiple Purposes and Unrelated Resources ("The Farmer Problem")
Eighth International Workshop on Project Management and Scheduling - PMS 2002, Apr 2002, Valencia, Spain, 4 p
inria-00100784v1  Conference papers
Christine BourjotVincent ChevrierVincent Thomas. How Social Spider Inspired An Approach To Region Detection
First International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2002, 2002, Bologna, Italy, 8 p
inria-00100850v1  Conference papers
Mohamed EssaïdiIsabelle Guérin-LassousJens Gustedt. SSCRAP: An Environment for Coarse Grained Algorithms
14th IASTED International Conference on Parallel and Distributed Computing and Systems - PDCS'2002, Nov 2002, Boston, MA, USA, pp.398-403
inria-00100857v1  Conference papers
Murat DevirenKhalid Daoudi. Continuous Speech Recognition Using Dynamic Bayesian Networks: A Fast Decoding Algorithm
First European Workshop on Probabilistic Graphical Models - PGM'02, Nov 2002, Cuenca, Spain, 9 p
inria-00098938v1  Reports
Jean-Pierre ThomesseOlivier Jaray. Time distribution and synchronization
[Intern report] 99-R-273 || thomesse99g, 1999, 12 p
inria-00100922v1  Conference papers
Ernst AlthausAlexander BockmayrMatthias ElfThomas KasperMichael Jünger et al.  SCIL - Symbolic Constraints in Integer Linear Programming
10th European Symposium on Algorithms - ESA'02, 2002, Rome, Italie, pp.75-87
inria-00098939v1  Reports
Sorin Stratulat. A General Framework to Build Multi-logic Implicit Induction Provers
[Intern report] 99-R-310 || stratulat99a, 1999, 32 p
inria-00100818v1  Journal articles
Olivier Bournez. Achilles and the tortoise climbing up the hyper-arithmetical hiearchy
Theoretical Computer Science, Elsevier, 1999, 210 (1), pp.21-71
inria-00100812v1  Conference papers
Laurent JeanpierreFrançois Charpillet. Hidden Markov Models for Medical Diagnosis
4th International Workshop on Enterprise Networking and Computing in Health Care Industry - HEALTHCOM 2002, 2002, Nancy, France, 5 p
inria-00100768v1  Conference papers
Quang-Huy Nguyen. A constructive decision procedure for equalities modulo AC
16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p
inria-00100988v1  Conference papers
Manfred Schmidt-SchaussJürgen Stuber. On the complexity of linear and stratified context matching problems
2nd International Workshop on Complexity in Automated Deduction - CiAD'02, Jul 2002, Copenhagen, Denmark. 18 p
inria-00101083v1  Reports
Paolo CastelpietraJörn MiggeEvelyne Silva. AIL, AIML and XML in the AEE Project
[Intern report] A02-R-401 || castelpietra02a, 2002
inria-00000918v1  Conference papers
Damien EveillardYann Guermeur. Traitement statistique des résultats SELEX
Journées Ouvertes en Biologie Informatiques et Mathématiques - JOBIM 2002, Jacques Nicolas & Claude Thermes, Jun 2002, Saint Malo - France, pp.277--283
inria-00100765v1  Conference papers
Olivier BuffetAlain DutechFrançois Charpillet. Learning to weigh basic behaviors in Scalable Agents
First International Joint Conference on Autonomous Agents and Multiagent Systems - AAMAS 2002, 2002, Bologna, Italy, pp.1264-1265
inria-00101032v1  Conference papers
Mark G. J. van den BrandJ. ScheerderJ.J. VinjuEelco Visser. Disambiguation Filters for Scannerless Generalized LR Parsers
11th International Conference on Compiler Construction - CC'02, Apr 2002, Grenoble, France, pp.143-158
inria-00100795v1  Conference papers
Dominique MartinezAlistair Bray. Kernel Temporal Component Analysis (KTCA)
European Symposium on Artificial Neural Networks - ESANN'2002, Apr 2002, Bruges, Belgium, pp.477-482
inria-00098837v1  Conference papers
Catherine Pilière. A confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.421-432
inria-00100957v1  Conference papers
Asma GhaffariFehmi Reben NjimaNidhal RezgXiaolan Xie. Design and coordination of partial Petri net controllers for a maximally permissive supervisory control
IEEE International Conference on Systems Man and Cybernetics - SMC'02, Oct 2002, Hammamet, Tunisie, 6 p
inria-00099361v1  Conference papers
Daniela GrigoriHala Skaf-MolliFrançois Charoy. Adding Flexibility in a Cooperative Workflow Execution Engine
8th International Conference on High Performance Computing & Networking Europe - HPCN Europe 2000, May 2002, Amsterdam, Hollande, pp.227-236
inria-00098900v1  Conference papers
Patrice Lopez. Repairing Strategies for Lexicalized Tree Grammars
Ninth Conference of the European Chapter of the Association for Computational Linguistics - EACl'99, Jun 1999, Bergen, Norway
inria-00100905v1  Conference papers
Jean-Pierre Thomesse. Fieldbuses and Quality of Service
5th Portuguese Conference on Automatic Control - Controlo 2002, 2002, Aveiro/Portugal, pp.10-14
inria-00100966v1  Conference papers
Marie-Claude PortmannMikhail Y. KovalyovHenri Amet. Dominance properties for permutation flow shop problems
Eighth International Workshop on Project Management and Scheduling, Vincente Valls, Apr 2002, Valencia, Spain, pp.297-300
inria-00100910v1  Conference papers
Jean-Pierre Thomesse. Enterprise Networking and Computing in Health Care Industry
4th IEEE International Workshop of Enterprise Networking and Computing - Healthcom 2002, 2002, Nancy/France
inria-00100919v1  Books
Dongming Wang. Méthodes d'élimination avec applications
Science Press, Pékin, XVI-302 p, 2002
inria-00098877v1  Conference papers
Karim LimamPierre VernelJacques BesseDominique Colnet. Design of a customisable processor IP
International Workshop on IP Based Synthesis & System Design, 1999, Grenoble, France, France. pp.181-184
inria-00098807v1  Conference papers
Eitan AltmanSandjai BhulaiBruno GaujalArie Hordijk. Optimal Routing to M parallel queues with no buffers
33rd Allerton Conference on Communication, Control, & Computing, 1999, Allerton, Illinois/USA, 10 p
inria-00101010v1  Conference papers
Franck Gechter. Une méthode de localisation d'un robot mobile utilisant une approche multi-agents pour la fusion de données
15eme Journées des Jeunes Chercheurs en Robotique - JJCR 2002, 2002, Strasbourg, France, 8 p
inria-00098983v1  Conference papers
Marie-Dominique MorchAndré SchaaffMalika Smaïl. Querying Heterogeneous Databases : a user oriented system for collecting and structuring genome information
Intelligent Systems for Molecular Biology 1999 - ISMB'99, 1999, Heidelberg, Germany, pp.30
inria-00098842v1  Conference papers
Michel CosnardEmmanuel JeannotTao Yang. SLC : Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors
International Conférence on Parallel Processing - ICPP'99, 1999, Aizu-Wakamatsu, Japan, 25 p
inria-00098844v1  Conference papers
Olivier ZendraDominique Colnet. Towards safer aliasing with the Eiffel language
Intercontinental Workshop on Aliasing in Object-Oriented Systems IWAOOS'99 - ECOOP'99 workshop reader, 1999, Lisbonne, Portugal, pp.153
inria-00110394v1  Book sections
Wilhelm SchaefferAlfonso FugettaClaude GodartJens Jahnke. Architectural Views and Alternatives
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.95-116, 1999, Lecture notes in Computer Science
inria-00147563v1  Conference papers
Daniel Lazard. Mélange de deux lois Gaussiennes; systèmes sur-déterminés dépendant de paramètres approchés
Journees LNF, Liens Calcul Numerique-Calcul Formel, 2002, Toulouse, France
inria-00098894v1  Journal articles
Philippe CoucaudOlivier ZendraDominique Colnet. Gestion mémoire: manuelle ou automatique ?
Programmez !, Magazine Programmez, 1999, pp.54-57
inria-00100813v1  Conference papers
Laurent JeanpierreFrançois Charpillet. Apprentissage de modèles en télémédecine
Conférence Francophone d'Apprentissage - CAP 2002, Matthieu Exbrayat, 2002, Orléans, France, 2 p
inria-00110389v1  Book sections
Claude GodartHala Skaf-MolliNourredine BelkatirAntonio CarzanigaEstublier Jacky et al.  Cooperation Control in PSEE
J.C Derniame, ,B.A. Kaba, D. Wastell. Software Process: Principles, Methodology, and Technology, 1500 (1500), Springer-Verlag, pp.117-166, 1999, Lecture Notes in Computer Science
inria-00098814v1  Conference papers
Jacques Lonchamp. DOTS: A Generic Infrastructure for Decision-oriented Collaborative Task Support
18th International Conference on Conceptual Modeling - ER'99, 1999, Paris, France, pp.233-247
inria-00100729v1  Conference papers
Iadine ChadèsBruno ScherrerFrançois Charpillet. A Heuristic Approach for Solving Decentralized-POMDP : Assessment on the Pursuit Problem
ACM Symposium on Applied Computing - SAC'2002, Mar 2002, Madrid, Spain, 6 p
inria-00100891v1  Journal articles
Patrick BlackburnMaarten Marx. Remarks on Gregory's ``Actually'' Operator
Journal of Philosophical Logic, Springer Verlag, 2002, 31, pp.281-288