Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications for year 2004

 Site en Français



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



Go to publications of year : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017


International Refereed Journals (7)


[Van04]
J.M. Vanherpe, Clique-Width of Partner Limited Graphs, Discrete Mathematics, Vol.276, No.1-3, pp.363-374, 2004 Bibtex entry
[Siva04]
S. Anantharaman, P. Narendran and M. Rusinowitch, Unification modulo ACUI plus Distributivity Axioms, Journal of Automated Reasoning, Vol.33, pp.1-28, 2004 Bibtex entry
[RetyVuottoJSC04]
P. Réty and J. Vuotto, Tree Automata for Rewrite Strategies, Journal of Symbolic Computation, Vol.40, No.1, pp.749-794, 2004 Bibtex entry
[durand.lose04:IPL]
Jérôme Durand-Lose, A Kleene Theorem for Piecewise Constant Signals Automata, Information Processing Letters, Vol.89, No.5, pp.237-245, 2004 Bibtex entry
[Chen04]
Jing Chen and Zi-Ning Cao, Model Checking Real-time Value-passing Systems, Journal of Computer Science and Technology, Vol.19, No.4, pp.459-471, 2004 Bibtex entry
[BoKrMuTo04dam]
V. Bouchitté, D. Kratsch, H. Müller and I. Todinca, On treewidth approximations, Discrete Applied Mathematics, Vol.136, No.2-3, pp.183-196, 2004 Bibtex entry
[BraHoaVan04]
A. Brandstädt, C.T. Hoàng and J.M. Vanherpe, On Minimal Prime Extensions of a Four-Vertex Graph in a Prime Graph, Discrete Mathematics, Vol.288, pp.9-17, 2004 Bibtex entry


National Refereed Journals


[Duval2004RNTI]
Béatrice Duval, Ansaf Salleb and Christel Vrain, Méthodes et mesures d'intérêt pour léxtraction de règles déxception, French journal : Revue des Nouvelles Technologies de l'Information - Mesures de Qualité pour la Fouille de Données RNTI-E-1, Cépaduès éditions, Henri Briand, Michèle Sebag, Régis Gras and Fabrice Guillet ed., pp.119-140, 2004 Bibtex entry


International Conferences with Proceedings (13)


[blanc]
Mathieu Blanc, Trusted Linux Systems and Application to a Cluster Architecture, in Proceedings of the International Symposium on Cooperative Technologies and Systems, Waleed W. Smari and William McQuay ed., Vol.36, No.1, Simulation Series, pp.29-34, P.O. Box 17900, San Diego, CA, 92177, USA, The Society for Modeling and Simulation International – SCS, January, 2004 Bibtex entry
[GLMM_EGPGV04]
V. Gouranton, S. Limet, S. Madougou and E. Melin, A Scalable Cluster-based Parallel Simplification Framework for Height Fields, Eurographics Symposium on Parallel Graphics and Visualization, EGPGV'04, June, 2004 Bibtex entry
[Cleuziou2004ECAI]
G. Cleuziou, L. Martin and C. Vrain, PoBOC: an Overlapping Clustering Algorithm. Application to Rule-Based Classification and Textual Data, in ECAI, R. López de Mántaras, L. Saitta and IOS Press ed., pp.440-444, Valencia, Spain, Proceedings of the 16th European Conference on Artificial Intelligence, August 22-27, 2004 Bibtex entry
[LegtchenkoLE:FLAIRS2004]
Andreï Legtchenko and Arnaud Lallouet and AbdelAli Ed-Dbali, Intermediate Consistencies by Delaying Expensive Propagators, in Flairs'04, International Florida Artificial Intelligence Conference, Valerie Barr and Zdravko Markov ed., South Beach Miami, FL, USAi, AAAI Press, 2004 Bibtex entry
[LallouetLDE:LNAI2004]
Arnaud Lallouet, Andreï Legtchenko and Thi-Bich-Hanh Dao and AbdelAli Ed-Dbali, Learning Approximate Consistencies, in Recent Advances in Constraints, Krzysztof R. Apt, Francois Fages, Francesca Rossi , Péter Szeredi and Jozsef Vancza ed., LNAI 3010, pp.87-106, Springer, 2004 Bibtex entry
[blanc_issre04]
Mathieu Blanc, Pierre Courtieu, Gaetan Hains and Laurent Oudot and Christian Toinard, A novel approach for distributed updates of MAC policies using a meta-protection framework, in Supplementary Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), Saint Malo, France, nov, 2004 Bibtex entry
[Fayolle2004a]
P.-A. Fayolle, C. Rosenberger and C. Toinard, 3D Shape Reconstruction of Template Models Using Genetic Algorithms, in International Conference on Pattern Recognition, pp.269-272, Cambridge - UK, August, 2004 Bibtex entry
[Fayolle2004b]
P.-A. Fayolle, C. Rosenberger and C. Toinard, Shape Recovery and Functional Modeling Using Genetic Algorithms, in LAVAL VIRTUAL, pp.227-232, Laval - France, May, 2004 Bibtex entry
[flowvr-europr:04]
J. Allard, V. Gouranton, L. Lecointre, S. Limet, E. Melin, B. Raffin and S. Robert, FlowVR: a Middleware for Large Scale Virtual Reality Applications, in Proceedings of Euro-par 2004, Pisa, Italia, 2004 Bibtex entry
[LS04]
S. Limet and G. Salzer, Proving Properties of Term Rewrite Systems via Logic Programs, in proceedings of RTA 2004, Vol.3091, LNCS, pp.170-184, Springer Verlag, 2004 Bibtex entry
[cleuziou2004spire]
G. Cleuziou, L. Martin, V. Clavier and C. Vrain, DDOC: Overlapping Clustering of Words for Document Classification, in In the proceedings of the 11th International Conference on String Processing and Information Retrieval, Vol.3246, LNCS, pp.127-128, Padova, Italy, Springer, October, 2004 Bibtex entry
[FoKrTo04icalp]
F. Fomin, D. Kratsch and I. Todinca, Exact (exponential) algorithms for treewidth and minimum fill-in, in Proceedings 31st International Colloquium on Automatas, Languages and Programming (ICALP'04), Vol.3142, Lecture Notes in Computer Science, pp.568-580, Springer, 2004 Bibtex entry
[toinard_pdcs04]
Christian Toinard, Usage of a Formal Result to Design a Causally and Totally Ordered Multicast Protocol, in Proceedings of Parallel and Distributed Computing Systems 2004, International Society for Computers and their Applications (ISCA) ed., pp.426-430, San Francisco, California, Waleed Smari, sep, 2004 Bibtex entry


International Workshops with Proceedings (15)


[Merlin_avocs04]
A. Merlin and G. Hains, A generic cost model for concurrent and data-parallel meta-computing, in Fourth International Workshop on Automated Verification of Critical Systems: (AVOCS'04) , London, (UK), September, 2004, Note: Long preliminary version appears as LIFO RR2004-06 http://www.univ-orleans.fr/SCIENCES/LIFO Bibtex entry
[RetyVuottoRULE04]
P. Réty and J. Vuotto, Context-free Tree Languages for Descendants, in 5th Workshop on Rule-Based Programming (RULE). Also published in ENTCS vol 124(1), 2004 Bibtex entry
[SallebChallenge2004]
Ansaf Salleb, Teddy Turmeaux, Christel Vrain and Cyril Nortet, Mining Quantitative Association Rules in a Atherosclerosis Dataset, in Proceedings of the PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases), pp.98-103, Pisa, Italy, 2004 Bibtex entry
[Abou2004ACM]
Anas Abou El Kalam (LIFO), Yves Deswarte (LAAS-CNRS), Gilles Trouessin (Ernst & Young) and Emmanuel Cordonnier (ETIAM), A Generic Approach for Healthcare Data Anonymization, in ACM Workshop on Privacy in the Electronic Society, Washington, DC, USA, 2004 Bibtex entry
[Lallouet:CSCLP2004]
Arnaud Lallouet, A note on Bilattice and Open Constraint Programming, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Boi Faltings, François Fages, Francesca Rossi and Adrian Petcu ed., Lausanne, Switzerland, 2004 Bibtex entry
[LallouetLME:CHANGES2004]
Arnaud Lallouet, Andreï Legtchenko and Eric Monfroy and AbdelAli Ed-Dbali, Solver Learning for Predicting Changes in Dynamic Constraint Satisfaction Problems, in Changes'04, International Workshop on Constraint Solving under Change and Uncertainty, Chris Beck, Ken Brown and Gérard Verfaillie ed., Toronto, CA, 2004 Bibtex entry
[blanc_witsp04]
Mathieu Blanc, Patrice Clemente, Pierre Courtieu and Stephane Franche, Laurent Oudot, Christian Toinard and Lionel Vessiller, Hardening large-scale networks security through a meta-policy framework, in Third Workshop on the Internet, Telecommunications and Signal Processing (WITSP.04), Adelaide, Australia, dec, 2004 Bibtex entry
[cleuziou2004challenge]
N. Durand, G. Cleuziou and A. Soulet, Discovery of Overlapping Clusters to detect Atherosclerosis Risk Factors, in In the proceedings of the PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases), Pisa, Italy, september, 2004 Bibtex entry
[ChenSE04]
Jing Chen, A Timed Mobile Calculus, in Proceedings of the 16th Nordic Workshop on Programming Theory (NWPT'04), Paul Pettersson and Wang Yi ed., pp.65-67, Department of Information Technology, Uppsala University, Box 337, SE-751 05 Uppsala, Sweden, October, 2004 Bibtex entry
[ChenFR04]
Jing Chen, Some Results on Timed Process Algebra, in Proceedings of International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), Laboratoire d'Informatique Fondamentale d'Orléans, Rue Léonard de Vinci, B.P. 6759, ORLEANS Cedex 2, France, June, 2004 Bibtex entry
[ChenCH04]
Jing Chen, Local Model Checking Real-time Value-passing Systems, in Proceedings of International Workshop on FORMAL METHODS and SECURITY (IWFMS'04), Nanjing University, Nanjing, China, May, 2004 Bibtex entry
[LimetSasyft04]
Sébastien Limet, Tree Tuple Languages as Logic Programs, and Applications, in Proceedings of International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), Laboratoire d'Informatique Fondamentale d'Orléans, Rue Léonard de Vinci, B.P. 6759, ORLEANS Cedex 2, France, June, 2004 Bibtex entry
[FerLesTes-wlpe-04]
Gérard Ferrand, Willy Lesaint and Alexandre Tessier, Explanations to Understand the Trace of a Finite Domain Constraint Solver, in 14th Workshop on Logic Programming Environments, Susana Muoz-Hernàndez, José Manuel Gomez-Perez and Petra Hofstedt ed., pp.19-33, Saint-Malo, France, September, 2004 Bibtex entry
[FouHabMonVan04]
J.L. Fouquet, M. Habib, F. de MontGolfier and J.M. Vanherpe, bimodular decomposition of bipartite graphs, 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2004, 21-23 June, 2004 Bibtex entry
[FouVanCTW04]
J.L. Fouquet and J.M. Vanherpe, On (P5,P5)-graphs and other families, pp.142-146, Proceedings of CTW04 Workshop on Graphs and Combinatorial Optimization, June, 2004 Bibtex entry


National Conferences/Workshops with Proceedings (9)


[Maazouzi2004EGC]
Z. Maazouzi, A. Salleb and C. Vrain, BoolLoader : un chargeur efficace dédié aux bases denses, in Journées Francophones d' Extraction et de Gestion des Connaissances EGC'2004, pp.71-81, Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, janvier, 2004 Bibtex entry
[Cleuziou2004CORIA]
G. Cleuziou, Regroupements non-disjoints de mots pour la classification de documents, in Première Conférence en Recherche d'Information et Applications CORIA'2004, pp.41-56, IRIT,2004, janvier, 2004 Bibtex entry
[Cleuziou2004EGC]
G. Cleuziou, L. Martin and C. Vrain, PoBOC : un algorithme de ''soft-clustering''. Applications à l'apprentissage de règles et au traitement de données textuelles, in Journées Francophones d' Extraction et de Gestion des Connaissances EGC'2004, Vol.1, pp.217-228, Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, janvier, 2004 Bibtex entry
[FerrandL:JFPLC2004]
Gérard Ferrand and Arnaud Lallouet, Une Représentation Déclarative des Consistances de CSPs, in Journées Francophones de Programmation en Logique et par Contraintes, Fred Mesnard ed., pp.269-284, Angers, France, Hermès, 2004 Bibtex entry
[LegtchenkoLE:JNPC2004]
Andreï Legtchenko, Arnaud Lallouet and AbdelAli Ed-Dbali, Retarder les Propagateurs Complexes pour Calculer de Nouvelles Consistances, in Journées Nationales sur la Résolution Pratique des Problèmes NP-complets, Narendra Jussien ed., pp.251-266, Angers, France, 2004 Bibtex entry
[Abou04]
A. Abou El Kalam, Y. Deswarte, G. Trouessin and E. Cordonnier, Gestion des données médicales anonymisées : problèmes et solutions, in 2ème Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers, Mons - Belgique, 2004 Bibtex entry
[FerLesTes-jfplc-04]
Gérard Ferrand, Willy Lesaint and Alexandre Tessier, Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis, in Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, Frédéric Mesnard ed., pp.37-53, Angers, France, Hermès, June, 2004 Bibtex entry
[BraudTurmeaux04a]
A. Braud and T. Turmeaux, Réduction du coût d'évaluation d'une règle relationnelle., in Journées Francophones dÉxtraction et de Gestion des Connaissances (EGC 04), Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, 2004 Bibtex entry
[BraudTurmeaux04b]
A. Braud and T. Turmeaux, Echantillonner l'évaluation des motifs relationnels à différents niveaux, in Actes de la Conférence d'Apprentissage (CAp 2004), 2004 Bibtex entry


Miscellaneous


[Melin:Microscoop2004]
Emmanuel Melin, Réalité Virtuelle : Entre Matrix et dialogue Homme-Machine ?, 2004 Bibtex entry



22/6/2010. Généré par biblifo, un programme Objective Caml.