.:. Browse > Articles list .:.

154 documents ordered by : Date Title first author name document type Submit date

... 5 - 6 - 7 - 8 - 9 - 10 - 11

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]

A Typed Calculus for Querying Distributed XML Documents Acciai L., Boreale M., Dal Zilio S. 17th Nordic Workshop on Programming Theory, Danemark (2005) [hal-00091917 - version 1]

Oblique decision trees for spatial pattern detection: optimal algorithm and application to malaria risk. Gaudart J., Poudiougou B., Ranque S., Doumbo O. K. BMC Medicine Res Methodol 5 (2005) 22 [inserm-00090279 - version 1]

A Functional Scenario for Bytecode Verification of Resource Bounds Amadio R., Coupet-Grimal S., Dal Zilio S., Jakubiec L. In Computer Science Logic - (2004) [hal-00146991 - version 1]

Election, Naming and Cellular Edge Local Computations Chalopin J., Métivier Y., Zielonka W. Dans Graph transformation - International Conference on Graph Transformation (ICGT 2004) (EATCS best paper award), Italie (2004) [hal-00308119 - version 1]

Resource Control for Synchronous Cooperative Threads Amadio R., Dal Zilio S. In Concurrency Theory - CONCUR Concurrency Theory, (2004) [hal-00146983 - version 1]

Election and Local Computations on Edges Chalopin J., Métivier Y. Dans Foundations of System Specification and Computation Structures - International conference on Foundations of System Specification and Computation Structures (FoSSaCS 2004), Espagne (2004) [hal-00308121 - version 1]