106 articles – 48 references  [version française]
.:. Browse > Domain list > Computer Science .:.
138 documents ordered by :
First Previous ... 3 - 4 - 5 - 6 - 7 - 8 - 9 ... Next Last
fulltext access On Probability Distributions for Trees: Representations, Inference and Learning
Denis F., Habrard A., Gilleron R., Tommasi M., Gilbert E.
NIPS Workshop on Representations and Inference on Probability Distributions, Canada (2007) [inria-00294636 - version 1]
fulltext access Satisfiability of a Spatial Logic with Tree Variables
Filiot E., Talbot J.-M., Tison S.
16th EACSL Annual Conference on Computer Science and Logic, Suisse (2007) [inria-00148462 - version 2]
fulltext access decomposable theories
Djelloul K.
Theory and Practice of Logic Programming (2007) 7(5) : 583-632 [hal-00202311 - version 1]
fulltext access A sound dependency analysis for secure information flow (extended version)
Ghindici D., Simplot-Ryl I., Talbot J.-M.
Rapport de recherche (2007) [inria-00185263 - version 3]
fulltext access Toward an Automatic Analysis of Web Service Security
Chevalier Y., Lugiez D., Rusinowitch M.
Research report (2007) 40 [inria-00133996 - version 2]
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 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 Rational stochastic languages
Denis F., Esposito Y.
[hal-00019728 - version 1] (27/02/2006)