106 articles – 48 Notices  [english version]
.:. Consultation > Liste des articles .:.
154 documents classés par :
Première Page Page Précédente ... 4 - 5 - 6 - 7 - 8 - 9 - 10 ... Page Suivante Page Finale
fulltext access Polynomial Time Fragments of XPath with Variables
Filiot E., Niehren J., Talbot J.-M., Tison S.
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Chine (2007) [inria-00135678 - version 1]
fulltext access A first-order Temporal Logic for Actions
Schwind C.
[hal-00146353 - version 1] (14/05/2007)
fulltext access A Concurrent Calculus with Atomic Transactions
Acciai L., Boreale M., Dal Zilio S.
[hal-00109264 - version 1] (24/10/2006)
XML schema, tree logic and sheaves automata
Dal Zilio S., Lugiez D.
Applicable Algebra in Engineering, Communication and Computing 17 (2006) (5):337-377 [hal-00109288 - version 1]
fulltext access A particular universal cellular automaton
Ollinger N., Richard G.
[hal-00095821 - version 2] (07/04/2008)
fulltext access Learning Stochastic Tree Edit Distance
Bernard M., Habrard A., Sebban M.
Dans Machine Learning: ECML 2006 - 17th European Conference on Machine Learning, Allemagne (2006) [ujm-00109696 - version 1]
fulltext access Resource Control for Synchronous Cooperative Threads
Amadio R. M., Dal Zilio S.
Journal of Theoretical Computer Science (TCS) 358 (2006) 229-254 [hal-00015836 - version 1]
Resource Control for Synchronous Cooperative Threads
Amadio R., Dal Zilio S.
Theoretical Computer Science 358 (2006) (2-3):229-254 [hal-00109277 - version 1]
fulltext access Domain closure conditions and definability preservation
Schlechta K.
[hal-00084398 - version 1] (06/07/2006)
fulltext access Autour de la Caractérisation de Raisonnements de Sens Commun en Présence d'Informations Incertaines
Ben-Naim J.
Université de Provence - Aix-Marseille I (2006-04-28), Karl Schlechta (Dir.) [tel-00080513 - version 1]
fulltext access The pharmacophore kernel for virtual screening with support vector machines
Mahé P., Ralaivola L., Stoven V., Vert J.-P.
[hal-00020066 - version 1] (03/03/2006)
fulltext access Rational stochastic languages
Denis F., Esposito Y.
[hal-00019728 - version 1] (27/02/2006)
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]