1. Recherche
1144 résultats  enregistrer la recherche
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-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-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>
...
hal-00015031v1  Pré-publication, Document de travail
Ninh Thuan Truong, Jeanine Souquières. Test of object-based specifications using B notations
2005
...
inria-00000886v1  Communication dans un congrès
Sahbi Sidhom, Stéphane Goria, Amos David. Indexation des demandes formulées dans un contexte d'intelligence économique
Ismaïl Timimi, Marie Desprès-Lonnet, Susan Kovac, Université Charles de Gaulle - Lille 3. Colloque Indice, Index Indexation, Nov 2005, Lille/France, 2005
inria-00100267v1  Communication dans un congrès
Jean-Pierre Jacquot. A full Java Post-Graduate Curriculum
P. Gibson and J. Power and J. Waldron. Conference on the Principles and Practice of Programming in Java - PPPJ'04, 2004, Las Vegas, Nevada, USA, Computer Science Press, Trinity College, Dublin, pp.46-51, 2004, ACM International Conference Proceedings
inria-00100277v1  Communication dans un congrès
Kaushik Roy, Umapada Pal, Szilárd Vajda, Bidyut Baran Chaudhuri. A System Towards Indian Postal Automation
9th International Workshop on Frontiers in Handwriting Recognition - IWFHR-9 2004, 2004, Tokyo, Japon, 10 p, 2004
inria-00100225v1  Rapport
Ninh Thuan Truong, Jeanine Souquières. Consistency checking of UML static diagrams using B
[Intern report] A04-R-268 || truong04e, 2004, 14 p
inria-00100217v1  Rapport
Hatem Hamza. Segmentation and restoration of images of old books
[Intern report] A04-R-063 || hamza04a, 2004, 10 p
inria-00100226v1  Rapport
Moussa Demba, Francis Alexandre, Khaled Bsaïes. A Method for Patching Faulty Conjectures
[Intern report] A04-R-321 || demba04a, 2004, 20 p
inria-00100204v1  Communication dans un congrès
Moussa Demba, Khaled Bsaïes, Francis Alexandre. Proving Theorems by Folding/Unfolding
2nd International Conference : Sciences of Electronic, Technologies of Information and Telecommunications - SETIT 2004, Mar 2004, Sousse, Tunisie, 6 p, 2004
inria-00100223v1  Rapport
Maritta Heisel, Jeanine Souquières. Specifying Components for Checking Interoperability
[Intern report] A04-R-278 || heisel04c, 2004, 16 p
inria-00100046v1  Communication dans un congrès
Nicolas Biri, Didier Galmiche. Resource Tree and Logics for Distribution - abstract
2nd APPSEM II Workshop - APPSEM'04, 2004, Tallinn/Estonia, 2004
inria-00100047v1  Communication dans un congrès
Didier Galmiche, Julien Gobillot, Daniel Méry. Proofs and countermodels in BI's pointer logic
2nd APPSEM II Workshop - APPSEM'04, 2004, Tallinn/Estonia, 2004
...
inria-00100079v1  Communication dans un congrès
Yolande Belaïd, Abdel Belaïd. Morphological Tagging Approach in Document Analysis of Invoices
17th International Conference on Pattern Recognition - ICPR'2004, Aug 2004, Cambridge, United Kingdom. IEEE, 1, pp.469--472, 2004, Proceedings of the 17th International Conferene on Pattern Recognition. ICPR 2004. <10.1109/ICPR.2004.1334166>
inria-00600294v1  Communication dans un congrès
Imen Ben Cheikh, Afef Kacem, Abdel Belaïd. A neural perceptive model for the recognition of a large canonical Arabic word vocabulary
International Arab Conference on Information Technology, Dec 2009, Sana'a, Yemen. 2009
inria-00100146v1  Communication dans un congrès
Eddie Smigiel, Abdel Belaïd, Hatem Hamza. Self-Organizing Maps and Ancient Documents
6th International Workshop on Document Analysis Systems VI - DAS'2004, 2004, Florence, Italy, Springer-Verlag, 3163, pp.125--134, 2004, Lecture Notes in Computer Science
inria-00100050v1  Communication dans un congrès
Didier Galmiche, Peter O'Hearn, David Pym. Logics for Resources, Processes and Programs
ICALP - LICS 2004 Workshop, 2004, Turku, Finland, 192 p, 2004
inria-00100181v1  Communication dans un congrès
Dominique Besagni, Abdel Belaïd. Citation recognition for scientific publications in digital libraries
First International Workshop on Document Image Analysis for Libraries - DIAL'04, Jan 2004, Palo Alto, California, pp.244-252, 2004
inria-00100273v1  Article dans une revue
Philippe Ribet, Cyril Adrian, Olivier Zendra, Dominique Colnet. Conformance of agents in the Eiffel language
Journal of Object Technology (JOT), JOT, 2004, 3 (4), pp.125-143
inria-00100471v1  Communication dans un congrès
Amos David, David Bueno, Philippe Kislin. Case-Based Reasoning, User model and IRS
The 5th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI'2001, Jul 2001, Orlando, USA, International Institute of Informatics and Systemics (IIIS), 6 p, 2001
...
hal-00654428v1  Rapport
Denis Roegel. A reconstruction of Gingerich's table of regular sexagesimals and a cuneiform version of the table (1965)
[Research Report] 2011
...
inria-00104539v1  Communication dans un congrès
Stéphane Gobron, Denis Finck, Philippe Even, Bertrand Kerautret. Merging Cellular Automata for Simulating Surface Effects
S. El Yacoubi. B. Chopard. 7th International Conference on Cellular Automata For Research and Industry - ACRI 2006, Sep 2006, Perpignan, France. Springer, 4173, pp.94-103, 2006, Lecture Notes in Computer Science
...
hal-00104566v1  Communication dans un congrès
Ninh Thuan Truong, Jeanine Souquières. Validation of UML scenarios using the B Prover
Third Taiwanese-French Conference on Information Technology - TFIT 2006, 2006, Nancy, France. pp.97--116, 2006
...
hal-00654420v1  Rapport
Denis Roegel. A reconstruction of the tables of factors of Burckhardt, Dase, and Glaisher (1814-1883), and their extension to the tenth million
[Research Report] 2011

Contact


archive-ouverte@inria.fr