.:. Consultation > Liste par date > 2005 .:.

17 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

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]

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]

Special issue on Modelling and Verification of Cryptographic Protocols. Journal of Logic and Algebraic Programming, 64, 2005 Amadio R. (2005) 165 [hal-00146976 - version 1]

A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs Chalopin J., Métivier Y. Dans Mathematical Foundations of Computer Science - International Symposium on Mathematical Foundations of Computer Science (MFCS 2005), Pologne (2005) [hal-00308135 - version 1]

Polynomial Synthesis of Asynchronous Automata Baudru N., Morin R. [hal-00005587 - version 1] (25/06/2005)

Proceedings 18th IEEE Computer Security Foundations Workshop Amadio R., Herzog J., Guttman J. (2005) 300 [hal-00147019 - version 1]

Ordonnancement de véhicules: une approche par recherche locale à grand voisinage Estellon B., Gardi F., Nouioua K. Premières Journées Francophones de Programmation par Contraintes, (2005) [inria-00000071 - version 1]

Synthesis of max-plus quasi-interpretations Amadio R. Fundamenta Informaticae 65, 1-2 (2005) 29-60 [hal-00146968 - version 1]

Generating a condensed representation for association rules Pasquier N., Taouil R., Bastide Y., Stumme G., Lakhal L. Journal of Intelligent Information Systems 24, 1 (2005) 29-60 [hal-00363015 - version 1]

Time Series Filtering, Smoothing and Learning using the Kernel Kalman Filter Ralaivola L., D'Alché-Buc F. Dans Proceedings of IEEE International Joint Conference on Neural Networks 2005 (IJCNN 2005) - Proceedings of IEEE International Joint Conference on Neural Networks 2005 (IJCNN 2005), Canada (2005) [hal-00341953 - version 1]

Couvertures parfaites des motifs fréquents Casali A., Cicchetti R., Lakhal L., Lopes S. Ingénierie des Systèmes d'Information (ISI) 10, 2 (2005) 117-138 [hal-00286906 - version 1]

Pivotal and Pivotal-discriminative Consequence Relations Ben-Naim J. Journal of Logic and Computation Volume 15, number 5 (2005) 679-700 [hal-00009210 - version 6]

Preferential and Preferential-discriminative Consequence relations Ben-Naim J. Journal of Logic and Computation 15 (2005) number 3, pp. 263-294 [hal-00005232 - version 6]