1. Recherche
331 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>
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-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
...
inria-00099934v1  Communication dans un congrès
Christophe Choisy, Hubert Cecotti, Abdel Belaïd. Character Rotation Absorption Using a Dynamic Neural Network Topology: Comparison With Invariant Features
6th International Conference on Enterprise Information Systems - ICEIS'2004, Jun 2004, Porto, Portugal, 8 p, 2004
...
hal-00577958v1  Communication dans un congrès
Bruno Delprat, Mohamed Hallab, Martine Cadot, Alain Lelu. Processing a Mayan Corpus for Enhancing our Knowledge of Ancient Scripts
ESCE- University la Manouba (Tunisia), Nancy University (France), IGA (Morocco), IEEE Morocco section. 4th International Conference on Information Systems and Economic Intelligence - SIIE'2011, Feb 2011, Marrakech, Morocco. IGA Maroc, pp.198-208, 2011
hal-00580197v1  Ouvrage (y compris édition critique et traduction)
Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even. 16th international conference on Discrete Geometry for Computer Imagery
Springer-verlag, pp.529, 2011, LNCS
hal-00429437v1  Article dans une revue
Martine Cadot. Graphe de règles d'implication statistique pour le raisonnement courant. Comparaison avec les réseaux bayésiens et les treillis de Galois
Revue des Nouvelles Technologies de l'Information, Hermann, 2009, E (16), pp.223-250
...
inria-00107772v1  Communication dans un congrès
Ninh Thuan Truong, Jeanine Souquières. Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
Approches Formelles dans l'Assitance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, 15 p, 2004
...
inria-00107832v1  Rapport
Songsakdi Rongviriyapanish, Nicole Lévy. Variations on the Pipe and Filter Architectural Style
[Intern report] 99-R-027 || rongviriyapanish99a, 1999, 20 p

Contact


archive-ouverte@inria.fr