106 articles – 48 Notices  [english version]
.:. Consultation > Liste par domaine > Informatique .:.
138 documents classés par :
Première Page Page Précédente ... 4 - 5 - 6 - 7 - 8 - 9 - 10 Page Suivante Page Finale
fulltext access The Branch-width of Circular-arc Graphs
Mazoit F.
Dans LATIN 2006: Theoretical Informatics - Latin American Theoretical Informatics Symposium, France (2006) [hal-00351181 - version 1]
fulltext access Learning rational stochastic languages
Denis F., Esposito Y., Habrard A.
[hal-00019161 - version 1] (17/02/2006)
fulltext access Using Pseudo-Stochastic Rational Languages in Probabilistic Grammatical Inference
Habrard A., Denis F., Esposito Y.
Dans Proceedings of the 8th International Colloquium on Grammatical Inference (ICGI'06) - 8th International Colloquium on Grammatical Inference (ICGI'06), Japon (2006) [hal-00085176 - version 2]
Mobile agent algorithms versus message passing algorithms
Chalopin J., Godard E., Métivier Y., Ossamy R.
Dans Principle of distributed systems - 10th International Conference On Principles Of Distributed Systems (OPODIS 2006), France (2006) [hal-00308127 - version 1]
fulltext access Resolution de contraintes du premier ordre dans des théories dites décomposables.
Djelloul K.
Dans actes de ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision. - ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision., France (2006) [hal-00202310 - version 1]
fulltext access Learning Multipicity Tree Automata
Habrard A., Oncina J.
Dans Proceedings of the 8th International Colloquium on Grammatical Inference (ICGI'06) - ICGI 2006, Japon (2006) [hal-00192410 - version 1]
fulltext access Developments in the rewriting calculus
Bertolissi C.
Research report (2006) [inria-00121212 - version 3]
fulltext access CoLoR: a Coq library on rewriting and termination
Blanqui F., Coupet-Grimal S., Delobel W., Hinderer S., Koprowski A.
Eighth International Workshop on Termination - WST 2006, États-Unis (2006) [inria-00084835 - version 2]
fulltext access Complétude des extensions en arbres de théories
Djelloul K., Dao T.-B.-H.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085774 - version 1]
fulltext access Résolution de contraintes du premier ordre dans la théorie des arbres évalués
Dao T.-B.-H., Djelloul K.
Journées Francophones de Programmation par Contraintes, (2006) [inria-00085773 - version 1]
fulltext access Lack of Finite Characterizations for the Distance-based Revision
Ben-Naim J.
Dans Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06) - (2006) [hal-00080505 - version 1]
fulltext access Playing with Conway's Problem
Jeandel E., Ollinger N.
[hal-00013788 - version 2] (20/05/2008)
Using rank-1 lift-and-project closures to generate cuts for 0-1 MIPs, a computational investigation
Bonami P., Minoux M.
Discrete Optimization 2, 4 (2005) 288-307 [hal-00421750 - version 1]
fulltext access Branchwidth of graphic matroids.
Mazoit F., Thomassé S.
[hal-00012312 - version 1] (19/10/2005)
Exact MAX-2SAT solution via lift-and-project closure
Bonami P., Minoux M.
Operations Research Letters 34, 4 (2005) 387-393 [hal-00421751 - version 1]