Laboratoire d'informatique fondamentale de Marseille
UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence
Consultation
Derniers dépôts
Liste des articles
Liste par équipe
Liste par date
Liste par domaine
Liste par auteurs
Rechercher
106 articles – 48 Notices
[english version]
.:.
Consultation
>
Liste par date
> 2006 .:.
23 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
A first-order Temporal Logic for Actions
Schwind C.
[hal-00146353 - version 1] (14/05/2007)
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]
A particular universal cellular automaton
Ollinger N., Richard G.
[hal-00095821 - version 2] (07/04/2008)
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]
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]
Domain closure conditions and definability preservation
Schlechta K.
[hal-00084398 - version 1] (06/07/2006)
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]
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)
Rational stochastic languages
Denis F., Esposito Y.
[hal-00019728 - version 1] (27/02/2006)
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]
Learning rational stochastic languages
Denis F., Esposito Y., Habrard A.
[hal-00019161 - version 1] (17/02/2006)
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]