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

Lifo > Publications de l'année 1994

 English Version



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



Accès aux publications de l'année : 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


Divers (43)


[laurent94]
D. Laurent, Une Contribution à l'\Étude des Mises à Jour des Bases de Donn\ées, Rapport de recherche, No.94-1, LIFO , 1994, Note: Rapport scientifique pr\ésent\é pour l'obtention d'une habilitation à diriger des recherches Bibtex entry
[Eisenbeis1994]
C. Eisenbeis, S. Lelait, A. Sawaya et J. Wang, Parall\élisation de boucles: contraintes de ressources et registres, in Actes des sixièmes rencontres francophones du parall\élisme, RenPar'6, ENS-Lyon, France, Juin, 1994 Bibtex entry
[Tessier-gdr-94]
M. Bergère, G. Ferrand, F. Le Berre, B. Malfon et A. Tessier, La Programmation Logique avec Contraintes revisit\ée en termes d'arbres de preuve et de squelettes, in actes du pôle Contraintes et Programmation Logique, Philippe Devienne ed., Journ\ées du GDR Programmation du CNRS, 1994 Bibtex entry
[DE.VI.94]
D. Delamarre et B. Virot, Recuit Simul\é Parallèle, Chapitre 5, pp.311-317, in Algorithmes Parallèles: Analyse et Conception, C. Roucairol et al. ed., Hermès, 1994 Bibtex entry
[DE.FO.TH.VI.94]
D. Delamarre, J.-L. Fouquet, H. Thuillier et B. Virot, Parallel Simulated Annealing and Cost Function Distorsions, in Transputers'94, Monique Becker, Luc Litzler et Michel Tr\éhel ed., pp.311, IOS Press, 1994 Bibtex entry
[lls94]
D. Laurent, V. Phan Luong et N. Spyratos, Une nouvelle approche des mises à jour des bases de donn\ées, in 2$^e$ Colloque Africain sur la Recherche en Informatique, CARI'94, Ouagadougou (Burkina Faso), 1994 Bibtex entry
[hls94]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Passive and Active Rules in Deductive Databases, in Mathematical Foundations for Computer Science, MFCS'94, Conference, Vol.841, pp.383-392, LNCS, Springer-Verlag, 1994 Bibtex entry
[CI94a]
F. Benhamou, D. McAllester et P. Van Hentenryck, CLP(Intervals) Revisited, in ILPS'94 (International Symposium on Logic Programming), Ithaca, NY, USA, The MIT Press, 1994 Bibtex entry
[CI94]
F. Benhamou, W. Older et A. Vellino, Interval Arithmetic for Constraint Programming, in INTERVAL'94, St-Petersburg, Russia, 1994 Bibtex entry
[alq]
S. Anglade, J.-J Lacrampe et C. Queinnec, Semantics of Combinations in Scheme, Lisp Pointers, ACM Press, Vol.vol. VII, No.4, pp.15-20, dec, 1994 Bibtex entry
[JLF33]
O. Favaron et J-L. Fouquet, On m-centers in $P_t$-free graphs., Discrete Mathematics, Vol.125, pp.147-152, 1994 Bibtex entry
[SL.AL.FH.94]
S.A. Laribi, A. Laribi et F. Haramburn, FOLKS.P: An application incorporating an expert system, a Case-Based Reasoning and a Database on adverse Drug Reactions, in Fourteenth International Avignon Conference, EC2 ed., pp.333-339, Paris, France, 1994 Bibtex entry
[SL.AL.94]
S.A. Laribi et A. Laribi, An Intelligent System to Facilitate the Diagnostic of Adverse Drug Reactions, in TAI'94 - Tools with Artificial Intelligence, sixth International Conference, IEEE ed., pp.661-666, 1994 Bibtex entry
[BO.LG.UT.VI.94]
L. Boug\é, Y. Le Guyadec, G. Utard et B. Virot, A Proof System for a Simple Data-Parallel Programming Language, in Applications in Parallel and Distributed Computing, Caracas, Venezuela, April 1994, C. Girault ed., pp.63-72, North-Holland, 1994 Bibtex entry
[BM.1.94]
B. Malfon, Characterization of some semantics for logic programs with negation and application to program validation , in International Logic Programming Symposium, Ithaca, USA , The MIT Press, 1994 Bibtex entry
[AL-JFPL94]
A. Lallouet, Une S\émantique Inductive à la Herbrand pour la Programmation Logique Contextuelle. Application à une notion de Correction Partielle, in Journ\ées Francophones de Programmation en Logique, Bordeaux, France, 1994 Bibtex entry
[alq2]
S. Anglade, J-J. Lacrampe et C. Queinnec, Semantics of Combinations in Scheme, Rapport de recherche, No.94-2, LIFO , 1994 Bibtex entry
[ftgm]
J-L. Fouquet, V. Giakoumakis, F. Maire et H. Thuillier , On Graphs without $P_5$ and $\overlineP_5$, Rapport de recherche, No.94-3, LIFO , 1994 Bibtex entry
[ba]
W. Bousdira et N. Andrianarivelo, Une Strat\égie Fond\ée sur la R\é\écriture pour la Preuve de Th\éorèmes dans la Logique du Premier Ordre \Égalitaire avec des Contraintes d'Ordre, Rapport de recherche, No.94-4, LIFO , 1994 Bibtex entry
[DLB94-rap]
G. Desrocques, S-A. Laribi et J-C. Bassano, Recuit Simul\é et Langage Naturel: vers une Architecture Hybride, Rapport de recherche, No.94-5, LIFO , 1994 Bibtex entry
[HFALS94]
M. Halfeld Ferrari Alves, D. Laurent et N. Spyratos, Update-Driven Rules in Datalog$^neg$ Databases, Rapport de recherche, No.94-6, LIFO , 1994 Bibtex entry
[BO.LG.UT.VI.94.2]
L. Boug\é, Y. Le Guyadec, G. Utard et B. Virot, On the Expressivity of a Weakest Preconditions Calculus for a Simple Data-Parallel Programming Language, Research Report, No.94-07, LIFO, 1994 Bibtex entry
[BO.LG.UT.VI.94.3]
L. Boug\é, Y. Le Guyadec, G. Utard et B. Virot, On the Expressivity of a Weakest Preconditions Calculus for a Simple Data-Parallel Programming Language, in Lecture Notes in Computer Science: Parallel Processing: CONPAR'94-VAPP VI, Bruno Buchberger et Jens Volkert ed., Vol.854, pp.100-111, Springer-Verlag, 1994 Bibtex entry
[DE.FO.TH.VI.94.1]
D. Delamarre, J-L. Fouquet, H. Thuillier et B. Virot, Parallel Simulated Annealing and Cost Function Distorsions, in Transputers'94, Monique Becker, Luc Litzler et Michel Tr\éhel ed., pp.311, IOS Press, 1994 Bibtex entry
[kn:DLB94]
G. Desrocques, S-A. Laribi et J-C. Bassano , Une Architecture Connexionniste pour lÉxploitation de Textes en Langage Naturel, in Congres Inforsid, Aix en Provence, may, 1994 Bibtex entry
[kn:arc94rap]
D. Archambault et J-C. Bassano, Un R\éseau de Neurones R\écurrent pour l'Apprentissage Supervis\é d'une Grammaire du Langage Naturel, Rapport de recherche, No.94-8, LIFO, may, 1994 Bibtex entry
[kn:arc94]
D. Archambault et J-C. Bassano, A Neural Network for Supervised Learning of Natural Language Grammar, in IEEE 6$^th$ International Conference on Tools with Artificial Intelligence (ICTAI'94 ), pp.267-273, La Nouvelle Orleans, Louisiane, nov, 1994 Bibtex entry
[kn:BMB94a]
M. Braunwarth, A. Mekaouche et J-C. Bassano, Information Retrieval System using Distributed Artificial Intelligence Tools, in Intelligent Multimedia Information Retrieval Systems and Management (RIAO 94), Rockefeller University, New-York, CID/CASIS, oct, 1994 Bibtex entry
[kn:BMB94b]
M. Braunwarth, A. Mekaouche et J-C. Bassano, DIALECT2: an Information Retrieval System based on Distributed Artificial Intelligence Tools, in IEEE 6$^th$ International Conference on Tools with Artificial Intelligence (ICTAI'94 ), pp.800-804, New Orleans, Louisiana, nov, 1994, Note: (poster session) Bibtex entry
[bmq]
J-C. Bassano, A. Mekaouche et M. Quafafou, Cooperating Knowledge-based systems and intelligent information retrieval, in Second International Working Conference on Cooperating Knowledge-based Systems, University of Keele, june, 1994 Bibtex entry
[rg]
B. Raffin et M.B. Gordon, Learning and Generalization with Minimerror, a Temperature Dependent Learning Rule, Rapport de Recherche, No.94-9, LIFO, 1994 Bibtex entry
[malfon]
B. Malfon, Characterization of Some Semantics for Logic Programs with Negation and Application to Program Validation, Rapport de Recherche, No.94-10, LIFO, 1994 Bibtex entry
[fouquet]
J-L. Fouquet, Coloriage des Sommets d'un Graphe, Rapport de Recherche, No.94-11, LIFO, 1994 Bibtex entry
[fmrt-rap]
J-L. Fouquet, F. Maire, I. Rusu et H. Thuillier, On Traversals in Minimal Imperfect Graphs, Rapport de Recherche, No.94-12, LIFO, 1994 Bibtex entry
[JLF28]
J-L. Fouquet, J.L. Jolivet et M. Rivière, An $O(n^3)$ algorithm to recognize $P_6-$free bipartite graphs., Journal of Algorithms, 1994, Note: to appear Bibtex entry
[ananthrichard]
S. Anantharaman et G. Richard, A Rewrite Mechanism for Logic Programs with Negation, Rapport de Recherche, No.94-13, LIFO, 1994, Note: (cf also the Proceedings of RTA'95) Bibtex entry
[lpls]
D. Laurent, V. Phan Luong et N. Spyratos, Querying Weak Instances under Extension Chase Semantics: a Complete Solution, Rapport de Recherche, No.94-14, LIFO, 1994 Bibtex entry
[LG.VI.94]
Y. Le Guyadec et B. Virot, An Axiomatic Semantics of Conditioning Constructs and Non Local Control Transfer in Data-Parallel Languages, Rapport de Recherche, No.94-15, LIFO, 1994 Bibtex entry
[LG.94]
Y. Le Guyadec, Une Approche S\émantique de la D\ésynchronisation des Programmes Data-Parallèles, in Renpar'6, L.Boug\é, M.Cosnard et P.Fraigniaud ed., pp.125-128, Ecole Normale Sup\érieure de Lyon, 1994 Bibtex entry
[RS94]
G. Richard et F. Saubion, A Rewrite Approach for Constraint Logic Programming, Rapport de Recherche, No.94-16, LIFO, 1994, Note: (cf also Proceedings of LATIN'95) Bibtex entry
[LaS94]
D. Laurent et N. Spyratos, A Partition Approach to Updating Universal Scheme Interfaces, IEEE Transactions on Knowledge and Data Engineering, Vol.6, No.2, 1994 Bibtex entry
[VM94-1]
C. Vrain et L. Martin, Induction of normal clauses, in ECML 94, European Conference on Machine Learning- Lecture Notes in Artificial Intelligence, L. de Raedt et F. Bergadano ed., Vol.784, pp.435-438, Springer-Verlag, 1994 Bibtex entry
[VM94-2]
C. Vrain et L. Martin, Induction de clauses normales : s\émantique du programme appris, in Actes des neuvièmes journ\ées francophones sur l'Apprentissage, JAVA94 , pp. J-1,J-14 , Strasbourg, France, 23-25 Mars , 1994 Bibtex entry



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