Publications de l'équipe MOSTRARE

2013

Communications avec actes

Titre

Knockout Prediction for Reaction Networks with Partial Kinetic Information

Auteurs

Mathias John ; Mirabelle Nebut; Joachim Niehren

Détail

14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rom, Italy.

Accès au texte intégral et bibtex

2012

Articles dans des revues avec comité de lecture

Titre

Query Induction with Schema-Guided Pruning Strategies

Auteurs

Joachim Niehren; Jérôme Champavère; Rémi Gilleron; Aurélien Lemay

Détail

Journal of Machine Learning Research, Microtome Publishing, 2012

Accès au bibtex

Titre

Mining Closed Patterns in Relational, Graph and Network Data

Auteurs

Gemma C Garriga ; Roni Khardon; Luc De Raedt

Détail

Annals of Mathematics and Artificial Intelligence, Springer, 2012

Accès au texte intégral et bibtex

Titre

Prioritized Repairing and Consistent Query Answering in Relational Databases

Auteurs

Slawomir Staworko; Jan Chomicki; Jerzy Marcinkowski

Détail

Annals of Mathematics and Artificial Intelligence, Springer, 2012, Special SUM'08 issue

Accès au texte intégral et bibtex

Titre

On One-Rule Grid Semi-Thue Systems

Auteurs

Michel Latteux; Yves Roos

Détail

Fundamenta Informaticae, IOS Press, 2012, Words, Graphs, Automata and Languages. Special Issue Honoring the 60th Birthday of Professor Tero Harju, 116 (1-4), pp. 189-204

Accès au texte intégral et bibtex

Communications avec actes

Titre

Learning Rational Functions

Auteurs

Adrien Boiret; Aurélien Lemay; Joachim Niehren

Détail

16th International Conference on Developments of Language Theory, Apr 2012, Taipee, Taiwan, Province Of China.

Accès au texte intégral et bibtex

Titre

Learning Twig and Path Queries

Auteurs

Slawomir Staworko; Piotr Wieczorek

Détail

International Conference on Database Theory (ICDT), Mar 2012, Berlin, Germany.

Accès au texte intégral et bibtex

Titre

Bounded repairability for regular tree languages

Auteurs

Gabriele Puppis; Cristian Riveros; Slawomir Staworko

Détail

International Conference on Database Theory (ICDT), Mar 2012, Berlin, Germany. ACM, pp. 155-168

Accès au texte intégral et bibtex

Titre

Semiparametric Pseudo-Likelihood Estimation in Markov Random Fields

Auteurs

Antonino Freno

Détail

AISTATS 2012 - Fifteenth International Conference on Artificial Intelligence and Statistics, 2012, La Palma, Canary Islands, Spain.

Accès au texte intégral et bibtex

Titre

Spectral Estimation of Conditional Random Graph Models for Large-Scale Network data

Auteurs

Antonino Freno; Mikaela Keller; Gemma Garriga; Marc Tommasi

Détail

UAI 2012 - 28th Conference on Uncertainty in Artificial Intelligence, 2012, Avalon, United States.

Accès au texte intégral et bibtex

Titre

Learning Multiple Tasks with Boosted Decision Trees

Auteurs

Jean Baptiste Faddoul ; Boris Chidlovskii; Rémi Gilleron ; Fabien Torre

Détail

Lecture Note in Computer Science. ECML/PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases - 2012, 2012, Bristol, United Kingdom.

Accès au bibtex

Titre

Fiedler Random Fields: A Large-Scale Spectral Approach to Statistical Network Modeling

Auteurs

Antonino Freno; Mikaela Keller; Marc Tommasi

Détail

Neural Information Processing Systems (NIPS), Dec 2012, Lake Tahoe, United States. MIT Press, Advances in Neural Information Processing Systems, 25

Accès au texte intégral et bibtex

Titre

Constrained decoding for text-level discourse parsing

Auteurs

Philippe Muller; Stergos Afantenos; Pascal Denis; Nicholas Asher

Détail

COLING - 24th International Conference on Computational Linguistics, Dec 2012, Mumbai, India.

Accès au texte intégral et bibtex

Titre

Developing a corpus of strategic conversation in The Settlers of Catan

Auteurs

Stergos Afantenos; Nicholas Asher; Farah Benamara; Anaïs Cadilhac; Cédric Dégremont; Pascal Denis; Markus Guhe; Simon Keizer; Alex Lascarides; Oliver Lemon; Philippe Muller; Saumya Paul; Verena Rieser; Laure Vieu

Détail

SeineDial 2012 - The 16th WORKSHOP ON THE SEMANTICS AND PRAGMATICS OF DIALOGUE, Sep 2012, Paris, France.

Accès au texte intégral et bibtex

Titre

Deterministic Regular Expressions in Linear Time

Auteurs

Benoit Groz; Sebastian Maneth; Slawomir Staworko

Détail

PODS-31th ACM Symposium on Principles of Database Systems, 2012, Scottsdale, United States. pp. 12

Accès au texte intégral et bibtex

Communications sans actes

Titre

Knockout Prediction for Reaction Networks with Partial Kinetic Information: Application to Surfactin Overproduction in Bacillus subtilis

Auteurs

Mathias John ; François Coutte; Mirabelle Nebut; Philippe Jacques; Joachim Niehren

Détail

3rd International Symposium on Antimicrobial Peptides, Jun 2012, Lille, France.

Accès au bibtex

Titre

Synthetic Engineering of Bacillus subtilis to Overproduce Lipopeptide Biosurfactants

Auteurs

François Coutte; Mathias John; Max Béchet; Mirabelle Nebut; Joachim Niehren; Valérie Leclère; Philippe Jacques

Détail

9th European Symposium on Biochemical Engineering Science, Sep 2012, Istanbul, Turkey.

Accès au bibtex

Rapports

Titre

Early XPath Node Selection on XML Streams

Auteurs

Denis Debarbieux ; Olivier Gauwin ; Joachim Niehren ; Tom Sebastian ; Mohamed Zergaoui

Détail

[Research Report], 2012, pp. 12

Accès au bibtex

Titre

Approximate Membership for Regular Languages modulo the Edit Distance

Auteurs

Antoine Ndione; Joachim Niehren; Aurélien Lemay

Détail

[Research Report], 2012

Accès au bibtex

Thèses

Titre

Vues de sécurité XML: requêtes, mises à jour et schémas.

Auteurs

Benoit Groz

Détail

informatique. Université des Sciences et Technologie de Lille - Lille I, Oct. 2012. French

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Banded structure in binary matrices

Auteurs

Gemma Garriga; Esa Junttila; Heikki Mannila

Détail

Knowledge and Information Systems, Springer, 2011, 28 (1), pp. 197-226

Accès au texte intégral et bibtex

Titre

Combinaisons d'automates et de boules de mots pour la classification de séquences

Auteurs

Frédéric Tantini; Alain Terlutte; Fabien Torre

Détail

Revue d Intelligence Artificielle, Hermes-Lavoisier, 2011, Apprentissage artificiel, 25 (3), pp. 411-434

Accès au texte intégral et bibtex

Titre

Queries on XML Streams with Bounded Delay and Concurrency

Auteurs

Olivier Gauwin; Joachim Niehren; Sophie Tison

Détail

Information and Computation, Elsevier, 2011, Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), 209 (3), pp. 409-442

Accès au texte intégral et bibtex

Titre

Rigid Tree Automata and Applications

Auteurs

Florent Jacquemard; Francis Klay; Camille Vacher

Détail

Information and Computation, Elsevier, 2011, 209 (3), pp. 486-512

Accès au texte intégral et bibtex

Communications avec actes

Titre

Streamable Fragments of Forward XPath

Auteurs

Olivier Gauwin; Joachim Niehren

Détail

16th International Conference on Implementation and Application of Automata, Jul 2011, Blois, France. pp. 3-15

Accès au texte intégral et bibtex

Titre

Biochemical Reaction Rules with Constraints

Auteurs

Mathias John; Cédric Lhoussaine; Joachim Niehren; Cristian Versari

Détail

20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. Springer, 6602, pp. 338-357, LNCS

Accès au texte intégral et bibtex

Titre

View update translation for XML

Auteurs

Iovka Boneva; Benoit Groz; Sophie Tison; Anne-Cécile Caron; Yves Roos; Slawomir Staworko

Détail

14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden.

Accès au texte intégral et bibtex

Titre

A Fixed Parameter Tractable Integer Program for Finding the Maximum Order Preserving Submatrix

Auteurs

Jens Humrich; Thomas Gaertner; Gemma Garriga

Détail

Proceedings of the IEEE International Conference of Data Mining, ICDM 2011, Dec 2011, Vancouver, Canada.

Accès au texte intégral et bibtex

Titre

Learning to Rank using Markov Random Fields

Auteurs

Antonino Freno; Tiziano Papini; Michelangelo Diligenti

Détail

ICMLA 2011 - Proceedings of the 10th International Conference on Machine Learning and Applications, 2011, Honolulu, United States.

Accès au texte intégral et bibtex

Titre

Normalization of Sequential Top-Down Tree-to-Word Transducers

Auteurs

Grégoire Laurence; Aurélien Lemay; Joachim Niehren; Slawomir Staworko; Marc Tommasi

Détail

5th International Conference on Language Automata Theory and Appliciations, May 2011, Tarragona, Spain. Springer, LNCS

Accès au texte intégral et bibtex

Communications sans actes

Titre

Learning to Recommend Links using Graph Structure and Node Content

Auteurs

Antonino Freno; Gemma Garriga; Mikaela Keller

Détail

Neural Information Processing Systems Workshop on Choice Models and Preference Learning, Dec 2011, Granada, Spain.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Champs Markoviens Conditionnels pour l'extraction d'information

Auteurs

Isabelle Tellier; Marc Tommasi

Détail

Eric Gaussier and François Yvon. Modèles probabilistes pour l'accès à l'information textuelle, Hermès, pp. 223-267, 2011

Accès au bibtex

Rapports

Titre

Constant Delay Enumeration for Acyclic Conjunctive Queries over X-Doublebar Structures

Auteurs

Guillaume Bagan; Joachim Niehren

Détail

[Research Report], 2011

Accès au bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Tree Automata With Global Constraints

Auteurs

Emmanuel Filiot; Jean-Marc Talbot; Sophie Tison

Détail

International Journal of Foundations of Computer Science, 2010, 21 (4), pp. 571-596

Accès au bibtex

Titre

The Attributed Pi Calculus with Priorities

Auteurs

Mathias John; Cédric Lhoussaine; Joachim Niehren; Adelinde Uhrmacher

Détail

Transactions on Computational Systems Biology, Springer, 2010, Lecture Notes in Computer Science, XII (5945), pp. 13-76

Accès au texte intégral et bibtex

Titre

Consistent Query Answers in the Presence of Universal Constraints

Auteurs

Slawomir Staworko; Jan Chomicki

Détail

Information Systems, Dennis Shasha and Gottfried Vossen, 2010, 35 (1), pp. 1-22

Accès au texte intégral et bibtex

Communications avec actes

Titre

Boosting Multi-Task Weak Learners with Applications to Textual and Social Data

Auteurs

Jean-Baptiste Faddoul; Boris Chidlovskii; Fabien Torre; Rémi Gilleron

Détail

The Ninth International Conference on Machine Learning and Applications (ICMLA 2010), Dec 2010, Hayatt Regency Bethesda, Washington DC, United States. IEEE

Accès au texte intégral et bibtex

Titre

Sequences Classification by Least General Generalisations

Auteurs

Frédéric Tantini; Alain Terlutte; Fabien Torre

Détail

José M. Sempere and Pedro Garcia. 10th International Colloquium on Grammatical Inference, Sep 2010, Valencia, Spain. Springer, Grammatical Inference: Theoretical Results and Applications, 6339, pp. 189-202, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Combinaisons de boules de mots pour la classification de séquences

Auteurs

Frédéric Tantini; Alain Terlutte; Fabien Torre

Détail

Engelbert Mephu. CAp - Conférence Francophone sur l'Apprentissage Automatique - 2010, May 2010, Clermont-Ferrand, France. pp. 161-176

Accès au texte intégral et bibtex

Titre

Apprentissage relationnel polynomial pour la classification d'arbres

Auteurs

Jean Decoster ; Slawomir Staworko; Fabien Torre

Détail

Engelbert Mephu. CAp - Conférence Francophone sur l'Apprentissage Automatique - 2010, May 2010, Clermont-Ferrand, France. pp. 189-200

Accès au texte intégral et bibtex

Titre

Efficient Enumeration for Conjunctive Queries over X-underbar Structures

Auteurs

Guillaume Bagan; Arnaud Durand; Emmanuel Filiot; Olivier Gauwin

Détail

Dawar, Anuj and Veith, Helmut. 19th EACSL Annual Conference on Computer Science Logic, Aug 2010, Brno, Czech Republic. Springer, 6247, pp. 80-94, Lecture Notes in computer science

Accès au texte intégral et bibtex

Titre

A Learning Algorithm for Top-Down XML Transformations

Auteurs

Aurélien Lemay; Sebastian Maneth; Joachim Niehren

Détail

ACM. 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2010, Indianapolis, United States. ACM Press, pp. 285-296

Accès au texte intégral et bibtex

Titre

The view update problem for XML

Auteurs

Slawomir Staworko; Iovka Boneva; Benoit Groz

Détail

2010 EDBT/ICDT Workshops, Mar 2010, Lausanne, Switzerland. Proceedings of the 2010 EDBT/ICDT Workshops

Accès au texte intégral et bibtex

Titre

The Emptiness Problem for Tree Automata with Global Constraints

Auteurs

Luis Barguñó; Carlos Creus; Guillem Godoy; Florent Jacquemard; Camille Vacher

Détail

Jouannaud, Jean-Pierre. 25th Annual IEEE Symposium on Logic in Computer Science (LICS), Jul 2010, Edinburgh, Scotland, United Kingdom. IEEE Computer Society Press, pp. 263-272

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Décidabilité et Complexité

Auteurs

Olivier Bournez; Gilles Dowek; Rémi Gilleron; Serge Grigorieff; Jean-Yves Marion; Simon Perdrix; Sophie Tison

Détail

Pierre Marquis, Odile Papini and Henri Prade.. IA Handbook, Cépaduès, pp. 1-63, Jan. 2010

Accès au texte intégral et bibtex

Rapports

Titre

Series, Weighted Automata, Probabilistic Automata and Probability Distributions for Unranked Trees.

Auteurs

Édouard Gilbert; Rémi Gilleron; Marc Tommasi

Détail

[Research Report], 2010, pp. 23. RR-7200

Accès au texte intégral et bibtex

Thèses

Titre

Induction de requêtes guidée par schéma

Auteurs

Jérôme Champavère

Détail

informatique. Université des Sciences et Technologie de Lille - Lille I, Sep. 2010. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Volata, système de classification tout terrain

Auteurs

Fabien Torre

Détail

2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Efficient Inclusion Checking for Deterministic Tree Automata and XML Schemas

Auteurs

Jérôme Champavère; Rémi Gilleron; Aurélien Lemay; Joachim Niehren

Détail

Information and Computation, Elsevier, 2009, 207 (11), pp. 1181-1208

Accès au texte intégral et bibtex

Titre

Minimal NFA and biRFSA Languages

Auteurs

Michel Latteux; Yves Roos; Alain Terlutte

Détail

RAIRO - Theoretical Informatics and Applications, EDP Sciences, 2009, 43 (2), pp. 221-237

Accès au bibtex

Communications avec actes

Titre

Equivalence of Deterministic Nested Word to Word Transducers

Auteurs

Slawomir Staworko; Grégoire Laurence; Aurélien Lemay; Joachim Niehren

Détail

Maciej Gebala and Malgorzata Korzeniowska and Witold Charatonik. Fundamentals of Computation Theory, Sep 2009, Wroclaw, Poland. Springer, Fundamentals of Computation Theory, 5699, pp. 310-322, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

XML Security Views Revisited

Auteurs

Benoit Groz; Slawomir Staworko; Anne-Cécile Caron; Yves Roos; Sophie Tison

Détail

Philippa Gardner, Floris Geerts. International Symposium on Database Programming Languages, Aug 2009, LYON, France. Springer, LNCS, pp 52-67

Accès au texte intégral et bibtex

Titre

Dynamic Compartments in the Imperative Pi Calculus

Auteurs

Mathias John; Cédric Lhoussaine; Joachim Niehren

Détail

Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. Spinger, Computational Methods in Systems Biology, 7th International Conference, 5688, pp. 235-250, LNCS

Accès au texte intégral et bibtex

Titre

Annotation fonctionnelle de corpus arborés avec des Champs Aléatoires Conditionnels

Auteurs

Erwan Moreau; Isabelle Tellier; Antonio Balvet; Grégoire Laurence; Antoine Rozenknop; Thierry Poibeau

Détail

TALN 2009, Jun 2009, Senlis, France.

Accès au texte intégral et bibtex

Titre

Méthodes d'ensemble en inférence grammaticale : une approche à base de moindres généralisés

Auteurs

Fabien Torre; Alain Terlutte

Détail

Younès Bennani and Céline Rouveirol. 11e Conférence francophone sur l'Apprentissage automatique (CAp'2009), May 2009, Hammamet, Tunisia. pp. 33-48

Accès au texte intégral et bibtex

Titre

Identification des langages rationnels à résiduels k-disjoints

Auteurs

Alain Terlutte; Fabien Torre

Détail

Younès Bennani and Céline Rouveirol. 11e Conférence francophone sur l'Apprentissage automatique (CAp'2009), May 2009, Hammamet, Tunisia. pp. 21-32

Accès au texte intégral et bibtex

Titre

Grammar Error Detection with Best Approximated Parse

Auteurs

Jean-Philippe Prost

Détail

11th International Conference on Parsing Technology (IWPT'09), Oct 2009, Paris, France. Association for Computational Linguistics, pp. 172-175

Accès au texte intégral et bibtex

Titre

Bounded Delay and Concurrency for Earliest Query Answering

Auteurs

Olivier Gauwin; Joachim Niehren; Sophie Tison

Détail

Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martin-Vide. 3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. Springer, Language and Automata Theory and Applications, 5457, pp. 350-361, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Earliest Query Answering for Deterministic Nested Word Automata

Auteurs

Olivier Gauwin; Joachim Niehren; Sophie Tison

Détail

17th International Symposium on Fundamentals of Computer Theory, Sep 2009, Wraclaw, Poland. SV, 5699, pp. 121-132, LNCS

Accès au texte intégral et bibtex

Titre

Correctly Translating Concurrency Primitives

Auteurs

Jan Schwinghammer; David Sabel; Manfred Schmidt-Schauss; Joachim Niehren

Détail

Andreas Rossberg. The 2009 SIGPLAN Workshop on ML, Oct 2009, Edinburgh, United Kingdom. pp. 27-38, ACM Digital Library

Accès au texte intégral et bibtex

Titre

Retrieving Meaningful Relaxed Tightest Fragments for XML Keyword Search

Auteurs

Kong Lingbo; Rémi Gilleron; Aurélien Lemay

Détail

EDBT 2009, 2009, Saint Petersburg, Russian Federation.

Accès au texte intégral et bibtex

Titre

Rigid Tree Automata

Auteurs

Florent Jacquemard; Francis Klay; Camille Vacher

Détail

Adrian Horia Dediu and Armand Mihai Ionescu and Carlos Martín-Vide. Third International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. Springer, 5457, pp. 446-457, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Thèses

Titre

Flux XML, Requêtes XPath et Automates

Auteurs

Olivier Gauwin

Détail

Université des Sciences et Technologie de Lille - Lille I, Sep. 2009. English

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Streaming Tree Automata

Auteurs

Olivier Gauwin; Joachim Niehren; Yves Roos

Détail

Information Processing Letters, Elsevier, 2008, 109 (1), pp. 13-17

Accès au texte intégral et bibtex

Communications avec actes

Titre

Classes of Tree Homomorphisms with Decidable Preservation of Regularity

Auteurs

Guillem Godoy; Sebastian Maneth; Sophie Tison

Détail

Springer. FOSSACS'08, Apr 2008, Hungary. 4962, pp. 127-141, LNCS

Accès au bibtex

Titre

Relevant Representations for the Inference of Rational Stochastic Tree Languages

Auteurs

François Denis; Edouard Gilbert; Amaury Habrard; Faïssal Ouardi; Marc Tommasi

Détail

Francois Coste and Alexander Clark and Laurent Miclet. International Colloquium on Grammatical Inference, 2008, St Malo, France. Springer Verlag, 5278, pp. 57-70, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Efficient Inclusion Checking for Deterministic Tree Automata and DTDs

Auteurs

Jérôme Champavère; Rémi Gilleron; Aurélien Lemay; Joachim Niehren

Détail

Martin-Vide, Carlos and Otto, Friedrich and Fernau, Henning. 2nd International Conference on Language and Automata Theory and Applications, Mar 2008, Tarragona, Spain. Springer, Language and Automata Theory and Applications, 5196, pp. 184-195, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Adequacy of compositional translations for observational semantics

Auteurs

Manfred Schmidt-Schauß; Joachim Niehren; Jan Schwinghammer; David Sabel

Détail

5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. Springer Verlag, 273, pp. 521-535, IFIP

Accès au texte intégral et bibtex

Titre

Regular n-ary Queries in Trees and Variable Independence

Auteurs

Emmanuel Filiot; Sophie Tison

Détail

5th IFIP International Conference on Theoretical Computer Science, Sep 2008, Milano, Italy. pp. 429-443

Accès au texte intégral et bibtex

Titre

Querying Regular Sets of XML Documents

Auteurs

Slawomir Staworko; Emmanuel Filiot; Jan Chomicki

Détail

International Workshop on Logic in Databases (LiD), May 2008, Rome, Italy.

Accès au texte intégral et bibtex

Titre

Tree Automata with Global Constraints

Auteurs

Emmanuel Filiot; Jean-Marc Talbot; Sophie Tison

Détail

12th International Conference on Developments in Language Theory (DLT), Sep 2008, Kyoto, Japan. pp. 314-326

Accès au texte intégral et bibtex

Titre

The Attributed Pi Calculus

Auteurs

Mathias John; Cédric Lhoussaine; Joachim Niehren; Adelinde Uhrmacher

Détail

Springer. Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. Lecture Notes in Bioinformatics, pp. 83-102

Accès au texte intégral et bibtex

Titre

Schema-Guided Induction of Monadic Queries

Auteurs

Jérôme Champavère; Rémi Gilleron; Aurélien Lemay; Joachim Niehren

Détail

Clark, Alexander and Coste, François and Miclet, Laurent. 9th International Colloquium on Grammatical Inference, Sep 2008, Saint-Malo, France. Springer, Grammatical Inference: Algorithms and Applications, 5278, pp. 15-28, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Complexity of Earliest Query Answering with Streaming Tree Automata

Auteurs

Olivier Gauwin; Anne-Cécile Caron; Joachim Niehren; Sophie Tison

Détail

ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X), Jan 2008, San Francisco, United States.

Accès au texte intégral et bibtex

Titre

Automatic Wrapper Induction from Hidden-Web Sources with Domain Knowledge

Auteurs

Marc Tommasi; Rémi Gilleron; Pierre Senellart; Avin Mittal; Daniel Muschick

Détail

Web information and data managment, Oct 2008, Napa, United States. ACM, pp. 9-16

Accès au bibtex

Titre

Logics and Automata for Totally Ordered Trees

Auteurs

Marco Kuhlmann; Joachim Niehren

Détail

19th International Conference on Rewriting Techniques and Applications, Jun 2008, Linz, Austria. Springer Verlag, 5117, pp. 217-231, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Rapports

Titre

Conditional Random Fields for XML Applications

Auteurs

Rémi Gilleron; Florent Jousse; Marc Tommasi; Isabelle Tellier

Détail

[Research Report], 2008. RR-6738

Accès au texte intégral et bibtex

Thèses

Titre

Logics for n-ary queries in trees.

Auteurs

Emmanuel Filiot

Détail

Université des Sciences et Technologie de Lille - Lille I, Oct. 2008. English

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Path constraints in semistructured data

Auteurs

Yves André; Anne-Cécile Caron; Denis Debarbieux; Yves Roos; Sophie Tison

Détail

Theoretical Computer Science, 2007, 385 (1-3), pp. 11-33

Accès au texte intégral et bibtex

Titre

Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes

Auteurs

Denis Bechet; Roberto Bonato; Alexandre Dikovsky; Annie Foret; Yannick Le Nir; Erwan Moreau; Christian Retoré; Isabelle Tellier

Détail

Recherches linguistiques de Vincennes, 2007, 36, pp. 123-152

Accès au bibtex

Titre

Interactive Learning of Node Selecting Tree Transducers

Auteurs

Julien Carme; Rémi Gilleron; Aurélien Lemay; Joachim Niehren

Détail

Machine Learning, Springer, 2007, Machine Learning, 66 (1), pp. 33-67

Accès au texte intégral et bibtex

Titre

On the Minimization of XML-Schemas and Tree Automata for Unranked Trees

Auteurs

Wim Martens; Joachim Niehren

Détail

Journal of Computer and System Science, Elsevier, 2007, Journal of Computer and System Science, 73 (4), pp. 550-583

Accès au texte intégral et bibtex

Titre

Dominance Constraints in Stratified Context Unification

Auteurs

Katrin Erk; Joachim Niehren

Détail

Information Processing Letters, Elsevier, 2007, 101 (4), pp. 141-147

Accès au texte intégral et bibtex

Titre

Learnability of Pregroup Grammars

Auteurs

Denis Béchet; Annie Foret; Isabelle Tellier

Détail

Studia Logica, Springer-Verlag, 2007, 87, pp. 225-252

Accès au texte intégral et bibtex

Communications avec actes

Titre

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

Auteurs

Joachim Niehren; David Sabel; Manfred Schmidt-Schauß; Jan Schwinghammer

Détail

23rd Conference on Mathematical Foundations of Programming Semantics, Apr 2007, New Orleans, United States. 173, pp. 313-337, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

On the Normalization and Unique Normalization Properties of Term Rewrite Systems

Auteurs

Guillem Godoy; Sophie Tison

Détail

CADE, 2007, Germany. SPRINGER Berlin /heidelberg, 4603/2007, pp. 247-262, LNCS

Accès au bibtex

Titre

Polynomial Time Fragments of XPath with Variables

Auteurs

Emmanuel Filiot; Joachim Niehren; Jean-Marc Talbot; Sophie Tison

Détail

26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Jun 2007, Beijing, China. pp. 205-214

Accès au texte intégral et bibtex

Titre

A Stochastic Pi Calculus for Concurrent Objects

Auteurs

Céline Kuttler; Cédric Lhoussaine; Joachim Niehren

Détail

Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. SV, 4545, pp. 232-246

Accès au texte intégral et bibtex

Titre

Satisfiability of a Spatial Logic with Tree Variables

Auteurs

Emmanuel Filiot; Jean-Marc Talbot; Sophie Tison

Détail

16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. Springer Berlin / Heidelberg, Computer Science Logic, 4646, pp. 130-145, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Communications sans actes

Titre

On Probability Distributions for Trees: Representations, Inference and Learning

Auteurs

François Denis; Amaury Habrard; Rémi Gilleron; Marc Tommasi; Édouard Gilbert

Détail

NIPS Workshop on Representations and Inference on Probability Distributions, Dec 2007, Whistler, Canada.

Accès au texte intégral et bibtex

Thèses

Titre

Automates d'arbres à jetons

Auteurs

Mathias Samuelides

Détail

informatique. Université Paris-Diderot - Paris VII, Dec. 2007. French

Accès au texte intégral et bibtex

Titre

Induction interactive d'extracteurs n-aires pour les documents semi-structurés

Auteurs

Patrick Marty

Détail

Université Charles de Gaulle - Lille III, Dec. 2007. French

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch

Auteurs

Céline Kuttler; Joachim Niehren

Détail

Transactions on Computational Systems Biology, Springer Verlag, 2006, Lecture Notes in Bioinformatics 4230 ({VII}), pp. 24-55

Accès au texte intégral et bibtex

Titre

A Concurrent Lambda Calculus with Futures

Auteurs

Joachim Niehren; Jan Schwinghammer; Gert Smolka

Détail

Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 364 (3), pp. 338-356

Accès au texte intégral et bibtex

Titre

Learning Recursive Automata from Positive Examples

Auteurs

Isabelle Tellier

Détail

Revue d'Intelligence Artificielle, Hermès, 2006, New Methods in Machine Learning. Theory and Applications, 20 (6), pp. 775-804

Accès au texte intégral et bibtex

Titre

Identification of biRFSA languages

Auteurs

Michel Latteux; Aurélien Lemay; Yves Roos; Alain Terlutte

Détail

Theoretical Computer Science, Elsevier, 2006, 356 (1-2), pp. 212-223

Accès au texte intégral et bibtex

Communications avec actes

Titre

XML Document Transformation with Conditional Random Fields

Auteurs

Rémi Gilleron; Florent Jousse; Isabelle Tellier; Marc Tommasi

Détail

INEX 2006, Dec 2006, Dagstuhl, Germany. 4518, LNCS

Accès au bibtex

Titre

Learning n-ary Node Selecting Tree Transducers from Completely Annotated Examples

Auteurs

Aurélien Lemay; Joachim Niehren; Rémi Gilleron

Détail

8th International Colloquium on Grammatical Inference, Sep 2006, Tokyo, Japan. Springer Verlag, 4201, pp. 253-267, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Cascade evaluation of clustering algorithm

Auteurs

Laurent Candillier; Isabelle Tellier; Fabien Torre; Olivier Bousquet

Détail

Springer Verlag. 17th European conference on machine learning, Sep 2006, Berlin, Germany. Springer Verlag, 4212, pp. 574-581, LNCS

Accès au texte intégral et bibtex

Titre

Champs Conditionnels Aléatoires pour l'Annotation d'Arbres

Auteurs

Florent Jousse; Rémi Gilleron; Isabelle Tellier; Marc Tommasi

Détail

CAp 2006, May 2006, Trégastel, France.

Accès au texte intégral et bibtex

Titre

Conditional Random Fields for XML Trees

Auteurs

Florent Jousse; Rémi Gilleron; Isabelle Tellier; Marc Tommasi

Détail

Workshop on Mining and Learning in Graphs, Sep 2006, Berlin, Germany.

Accès au texte intégral et bibtex

Titre

Integrating Data from the Web by Machine-Learning Tree-Pattern Queries

Auteurs

Benjamin Habegger; Denis Debarbieux

Détail

Robert Meersman and Zahir Tari. 5th International Conference on Ontologies, Databases, and Applications of Semantics, 2006, Montpellier, France. Springer Verlag, 4275, pp. 941-948, Lecture Notes in Computer Science

Accès au bibtex

Titre

Interactive Tuples Extraction from Semi-Structured Data

Auteurs

Rémi Gilleron; Patrick Marty; Fabien Torre; Marc Tommasi

Détail

Web Intelligence, Dec 2006, Hong Kong, China.

Accès au texte intégral et bibtex

Rapports

Titre

A Stochastic Pi Calculus for Concurrent Objects

Auteurs

Céline Kuttler; Cédric Lhoussaine; Joachim Niehren

Détail

[Technical Report], 2006, pp. 28. RR-6076

Accès au texte intégral et bibtex

Thèses

Titre

Contextualisation, Visualisation et Evaluation en Apprentissage Non Supervisé

Auteurs

Laurent Candillier

Détail

Université Charles de Gaulle - Lille III, Sep. 2006. French

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

When Ambients Cannot be Opened

Auteurs

Iovka Boneva; Jean-Marc Talbot

Détail

Theoretical Computer Science, Elsevier, 2005, 2 (333), pp. 127-169

Accès au bibtex

Titre

Learning from Positive and Unlabeled Examples

Auteurs

François Denis; Rémi Gilleron; Fabien Letouzey

Détail

Theoretical Computer Science, Elsevier, 2005, 348 (1), pp. 70-83

Accès au texte intégral et bibtex

Communications avec actes

Titre

Minimizing Tree Automata for Unranked Trees

Auteurs

Wim Martens; Joachim Niehren

Détail

Gavin M. Bierman and Christoph Koch. 10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. Springer, 3774, pp. 232-246, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

N-ary Queries by Tree Automata

Auteurs

Joachim Niehren; Laurent Planque; Jean-Marc Talbot; Sophie Tison

Détail

Gavin M. Bierman and Christoph Koch. 10th International Symposium on Database Programming Languages, 2005, Trondheim, Norway. Springer, 3774, pp. 217-231, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Complexity of Subtype Satisfiability over Posets

Auteurs

Joachim Niehren; Tim Priesnitz; Zhendong Su

Détail

Shmuel Sagiv. 14th European Symposium on Programming, 2005, Edinburgh, United Kingdom. Springer, 3444, pp. 357-373, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Describing Lambda Terms in Context Unification

Auteurs

Joachim Niehren; Mateu Villaret

Détail

Philippe Blache, Edward P. Stabler, Joan Busquets and Richard Moot. 5th International Conference on Logical Aspects in Computational Linguistics, 2005, Bordeaux, France. Springer, 3492, pp. 221-237, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Well-nested Context Unification

Auteurs

Jordi Levy; Joachim Niehren; Mateu Villaret

Détail

Robert Nieuwenhuis. 20th International Conference on Automated Deduction, 2005, Tallinn, Estonia. Springer, 3632, pp. 149-163, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Monotone AC-Tree Automata

Auteurs

Hitoshi Ohsaki; Jean-Marc Talbot; Sophie Tison; Yves Roos

Détail

Geoff Sutcliffe and Andrei Voronkov. 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2005, Montego Bay, Jamaica. Springer, 3835, pp. 337-351, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Automata and Logics for Unranked and Unordered Trees

Auteurs

Iovka Boneva; Jean-Marc Talbot

Détail

Jürgen Giesl. 20th International Conference on Rewriting Techniques and Applications, 2005, Nara, Japan. Springer, 3467, pp. 500-515, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Expressiveness of a spatial logic for trees

Auteurs

Iovka Boneva; Jean-Marc Talbot; Sophie Tison

Détail

20th Annual IEEE Symposium on Logic in Computer Science, 2005, Chicago, United States. IEEE Computer Science Press, pp. 280-289

Accès au texte intégral et bibtex

Titre

SSC : Statistical Subspace Clustering

Auteurs

Laurent Candillier; Isabelle Tellier; Fabien Torre; Olivier Bousquet

Détail

Petra Perner and Atsushi Imiya. 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, 2005, Leipzig, Georgia. Springer, 3587, pp. 100-109, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

When Categorial Grammars meet Regular Grammatical Inference

Auteurs

Isabelle Tellier

Détail

Philippe Blache, Edward P. Stabler, Joan Busquets and Richard Moot. 5th International Conference on Logical Aspects of Computational Linguistics, 2005, Bordeaux, France. Springer, 3492, pp. 317-332, Lecture Notes in Computer Science

Accès au bibtex

HDR

Titre

Model-checking pour les ambients : des algèbres de processus aux données semi-structurées

Auteurs

Jean-Marc Talbot

Détail

Université des Sciences et Technologie de Lille - Lille I, Dec. 2005. French

Accès au texte intégral et bibtex

Titre

Modéliser l'acquisition de la syntaxe du langage naturel via l'hypothèse de la primauté du sens

Auteurs

Isabelle Tellier

Détail

Université Charles de Gaulle - Lille III, Dec. 2005. French

Accès au texte intégral et bibtex

Thèses

Titre

Modélisation et requêtes des documents semi-structurés : exploitation de la structure de graphe

Auteurs

Denis Debarbieux

Détail

Université des Sciences et Technologie de Lille - Lille I, Dec. 2005. French

Accès au texte intégral et bibtex

Titre

Inférence de requêtes régulières dans les arbres et applications à l'extraction d'information sur le Web

Auteurs

Julien Carme

Détail

Université Charles de Gaulle - Lille III, Sep. 2005. French

Accès au texte intégral et bibtex

Titre

Inférence de requêtes régulières dans les arbres et applications à l'extraction d'information sur le Web

Auteurs

Julien Carme

Détail

Université Charles de Gaulle - Lille III, Sep. 2005. French

Accès au texte intégral et bibtex

2004

Communications avec actes

Titre

Learning Node Selecting Tree Transducer from Completely Annotated Examples

Auteurs

Julien Carme; Aurélien Lemay; Joachim Niehren

Détail

Georgios Paliouras and Yasubumi Sakakibara. 7th International Colloquium on Grammatical Inference, 2004, Athens, Greece. Springer, 3264, pp. 91-102, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Querying Unranked Trees with Stepwise Tree Automata

Auteurs

Julien Carme; Joachim Niehren; Marc Tommasi

Détail

Vincent van Oostrom. 19th International Conference on Rewriting Techniques and Applications, 2004, Aachen, Georgia. Springer, 3091, pp. 105-118, LNCS

Accès au texte intégral et bibtex

Titre

The XDG Grammar Development Kit

Auteurs

Ralph Debusmann; Denys Duchier; Joachim Niehren

Détail

Peter van Roy. 2nd International Conference on Multiparadigm Programming in {Mozart/Oz}, 2004, Charleroi, Belgium. Springer, 3389, pp. 190-201, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex

Titre

Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis

Auteurs

Ruth Fuchss; Alexander Koller; Joachim Niehren; Stefan Thater

Détail

42th Meeting of the Association for Computational Linguistics, 2004, Barcelona, Spain. pp. 247-254

Accès au texte intégral et bibtex

Titre

A New Algorithm for Normal Dominance Constraints

Auteurs

Manuel Bodirsky; Denys Duchier; Joachim Niehren; Sebastian Miele

Détail

J. Ian Munro. ACM-SIAM Symposium on Discrete Algorithms - SODA'2003, Jan 2004, New Orleans, Louisiana, United States. ACM Press, SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms, pp. 59-67

Accès au texte intégral et bibtex

Titre

Extraction and Implication of Path Constraints

Auteurs

Yves André; Anne-Cécile Caron; Denis Debarbieux; Yves Roos; Sophie Tison

Détail

29th Symposium on Mathematical Foundations of Computer Science, 2004, Prague, Costa Rica. Springer, 3153, pp. 863-875, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

2003

Articles dans des revues avec comité de lecture

Titre

An Efficient Graph Algorithm for Dominance Constraints

Auteurs

Ernst Althaus; Denys Duchier; Alexander Koller; Kurt Mehlhorn; Joachim Niehren; Sven Thiel

Détail

Journal of Algorithms, Elsevier, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp. 194-219

Accès au texte intégral et bibtex

Titre

Non-Structural Subtype Entailment in Automata Theory

Auteurs

Joachim Niehren; Tim Priesnitz

Détail

Information and Computation, Elsevier, 2003, 169 (2), pp. 319-354

Accès au texte intégral et bibtex

Communications avec actes

Titre

Residual Finite Tree Automata

Auteurs

Julien Carme; Rémi Gilleron; Marc Tommasi; Alain Terlutte; Aurélien Lemay

Détail

7th International Conference on Developments in Language Theory, Jul 2003, Szeged, Hungary, Hungary. Springer Verlag, 2710, pp. 171 - 182

Accès au texte intégral et bibtex

Titre

Well-Nested Parallelism Constraints for Ellipsis Resolution

Auteurs

Katrin Erk; Joachim Niehren

Détail

10th Conference of the European Chapter of the Association for Computational Linguistics, 2003, Budapest, Hungary. pp. 115-122

Accès au texte intégral et bibtex

Titre

Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints

Auteurs

Alexander Koller; Joachim Niehren; Stefan Thater

Détail

10th Meeting of the European Chapter of the Association of Computational Linguistics, 2003, Budapest, Hungary. pp. 195-202

Accès au texte intégral et bibtex

Titre

Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints

Auteurs

Joachim Niehren; Stefan Thater

Détail

41st Meeting of the Association of Computational Linguistics (ACL), 2003, Saporo, Japan. pp. 367-374

Accès au texte intégral et bibtex

Titre

Path Rewriting in Semistructured Data

Auteurs

Denis Debarbieux; Yves Roos; Sophie Tison; Yves André; Anne-Cécile Caron

Détail

Tero Harju and Juhani Karhumäki. 4th International Conference on Combinatorics on Words, 2003, Turku, Finland. 27, pp. 358-369

Accès au texte intégral et bibtex

Titre

When Ambients Cannot be Opened

Auteurs

Iovka Boneva; Jean-Marc Talbot

Détail

Andrew D. Gordon. Proceedings of Sixth International Conference on Foundations of Software Science and Computation Structures, 2003, Warsaw, Poland. Springer, pp. 169 - 184, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Learning Multi-label Alternating Decision Trees from Texts and Data

Auteurs

Françesco De Comite; Rémi Gilleron; Marc Tommasi

Détail

Petra Perner, Azriel Rosenfeld. International Conference on Machine Learning and Data Mining, 2003, Leipzig, Georgia. Springer, pp. 35-49, Lecture Notes in Artificial Intelligence

Accès au texte intégral et bibtex