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 1994

 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


Miscellaneous (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 and 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 and 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 and B. Virot, Recuit Simul\é Parallèle, Chapter 5, pp.311-317, in Algorithmes Parallèles: Analyse et Conception, C. Roucairol and al. ed., Hermès, 1994 Bibtex entry
[DE.FO.TH.VI.94]
D. Delamarre, J.-L. Fouquet, H. Thuillier and B. Virot, Parallel Simulated Annealing and Cost Function Distorsions, in Transputers'94, Monique Becker, Luc Litzler and Michel Tr\éhel ed., pp.311, IOS Press, 1994 Bibtex entry
[lls94]
D. Laurent, V. Phan Luong and 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 and 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 and 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 and A. Vellino, Interval Arithmetic for Constraint Programming, in INTERVAL'94, St-Petersburg, Russia, 1994 Bibtex entry
[alq]
S. Anglade, J.-J Lacrampe and 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 and 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 and 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 and 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 and 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 and 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 and H. Thuillier , On Graphs without $P_5$ and $\overlineP_5$, Rapport de recherche, No.94-3, LIFO , 1994 Bibtex entry
[ba]
W. Bousdira and 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 and 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 and 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 and 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 and 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 and 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 and B. Virot, Parallel Simulated Annealing and Cost Function Distorsions, in Transputers'94, Monique Becker, Luc Litzler and Michel Tr\éhel ed., pp.311, IOS Press, 1994 Bibtex entry
[kn:DLB94]
G. Desrocques, S-A. Laribi and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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 and P.Fraigniaud ed., pp.125-128, Ecole Normale Sup\érieure de Lyon, 1994 Bibtex entry
[RS94]
G. Richard and 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 and 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 and L. Martin, Induction of normal clauses, in ECML 94, European Conference on Machine Learning- Lecture Notes in Artificial Intelligence, L. de Raedt and F. Bergadano ed., Vol.784, pp.435-438, Springer-Verlag, 1994 Bibtex entry
[VM94-2]
C. Vrain and 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.