Olivier Ridoux

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 3

Top Topics

Technical Challenges

Classification Process

Information Flow

Feature Extraction And Classification

Top Venues

Publications

Clément Morand, Olivier Ridoux
Extraction dans des textes anciens d'entités nommées de type binômes de la classification linnéenne du vivant : une étude de cas. EGC (2023)
Anne-Laure Ligozat, Kevin Marquet, Aurélie Bugeau, Julien Lefèvre, Pierre Boulet, Sylvain Bouveret, Philippe Marquet, Olivier Ridoux, Olivier Michel
How to Integrate Environmental Challenges in Computing Curricula? SIGCSE (1) (2022)
Peggy Cellier, Sébastien Ferré, Annie Foret, Olivier Ridoux
Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. EGC (2016)
Soda Marème Cissé, Olivier Ridoux, Peggy Cellier
Représentation Symbolique de Trajectoires Géolocalisées. SAGEO (2015)
Sébastien Ferré, Pierre Allard, Olivier Ridoux
Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. ICFCA (2012)
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
Multiple Fault Localization with Data Mining. SEKE (2011)
Pierre Allard, Sébastien Ferré, Olivier Ridoux
Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views. CLA (2010)
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
DeLLIS: A Data Mining Process for Fault Localization. SEKE (2009)
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Found. Comput. Sci. 19 (2) (2008)
Peggy Cellier, Mireille Ducassé, Sébastien Ferré, Olivier Ridoux
Formal Concept Analysis Enhances Fault Localization in Software. ICFCA (2008)
Olivier Bedel, Sébastien Ferré, Olivier Ridoux
Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data. ICFCA (2008)
Sébastien Ferré, Olivier Ridoux
Logical Information Systems: from Taxonomies to Logics. DEXA Workshops (2007)
Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
GEOLIS: a logical information system for geographical data. Rev. Int. Géomatique 17 (3-4) (2007)
Sébastien Ferré, Olivier Ridoux
From Description Logics to Logic Functors, and Back. Description Logics (2007)
Olivier Bedel, Sébastien Ferré, Olivier Ridoux, Erwan Quesseveur
Exploring a Geographical Dataset with GEOLIS. DEXA Workshops (2007)
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
A Parameterized Algorithm for Exploring Concept Lattices. ICFCA (2007)
Peggy Cellier, Sébastien Ferré, Olivier Ridoux, Mireille Ducassé
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. CLA (2006)
Benjamin Sigonneau, Olivier Ridoux
Software engineering applications of logic file system: application to automated multi-criteria indexation of software components. MSR (2006)
Benjamin Sigonneau, Olivier Ridoux
Indexation multiple et automatisée de composants logiciels. Tech. Sci. Informatiques 25 (1) (2006)
Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux
LISFS: a logical information system as a file system. ICSE (2006)
Tristan Denmat, Mireille Ducassé, Olivier Ridoux
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. ASE (2005)
Yoann Padioleau, Olivier Ridoux
A Parts-of-File File System. USENIX Annual Technical Conference, General Track (2005)
Sébastien Ferré, Olivier Ridoux, Benjamin Sigonneau
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. ICCS (2005)
Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
Logical Approach to Natural Language Understanding in a Spoken Dialogue System. TSD (2004)
Jeanne Villaneau, Olivier Ridoux, Jean-Yves Antoine
LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS. Rev. d'Intelligence Artif. 18 (5-6) (2004)
Sébastien Ferré, Olivier Ridoux
Introduction to logical information systems. Inf. Process. Manag. 40 (3) (2004)
Catherine Belleannée, Olivier Ridoux
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC (2003)
Catherine Belleannée, Olivier Ridoux
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. Tech. Sci. Informatiques 22 (1) (2003)
Olivier Ridoux
Logic Information Systems for Logic Programmers. ICLP (2003)
Yoann Padioleau, Olivier Ridoux
A Logic File System. USENIX Annual Technical Conference, General Track (2003)
Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
LOGUS : un système formel de compréhension du français parlé spontané-présentation et évaluation. TALN (Articles longs) (2002)
Thomas P. Jensen, Florimond Ployette, Olivier Ridoux
Iteration schemes for fixed point calculation. FICS (2002)
Sébastien Ferré, Olivier Ridoux
The Use of Associative Concepts in the Incremental Building of a Logical Context. ICCS (2002)
Sébastien Ferré, Olivier Ridoux
A Framework for Developing Embeddable Customized Logics. LOPSTR (2001)
Olivier Ridoux, Patrice Boizumault
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. 2001 (4) (2001)
Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. LACL (2001)
Sébastien Ferré, Olivier Ridoux
Searching for Objects and Properties with Logical Concept Analysis. ICCS (2001)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog trace models with a continuation semantics. LOPSTR (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Spécification de modèles de traces à l'aide d'une sémantique par continuations. JFPLC (2000)
Sébastien Ferré, Olivier Ridoux
A File System Based on Concept Analysis. Computational Logic (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Prolog Trace Models with a Continuation Semantics. LOPSTR (LNCS 2042: Selected Papers) (2000)
Sébastien Ferré, Olivier Ridoux
A Logical Generalization of Formal Concept Analysis. ICCS (2000)
Erwan Jahier, Mireille Ducassé, Olivier Ridoux
Specifying Byrd's Box Model with a Continuation Semantics. Electron. Notes Theor. Comput. Sci. 30 (4) (1999)
Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. JFPLC (1999)
Catherine Belleannée, Pascal Brisset, Olivier Ridoux
A Pragmatic Reconstruction of lambda-Prolog. J. Log. Program. 41 (1) (1999)
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
Verification by Testing for Recursive Program Schemes. LOPSTR (1999)
Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux
Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming (1999)
Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Compilation abstraite de LambdaProlog. JFPLC (1998)
Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault
Abstract Compilation of lambda-Prolog. IJCSLP (1998)
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
Exploring the Software Development Trilogy. IEEE Softw. 15 (6) (1998)
Olivier Ridoux
Engineering Transformations of Attributed Grammars in LambdaProlog. JICSLP (1996)
Pascale Louvet, Olivier Ridoux
Parametric Polymorphism for Typed Prolog and lambda-Prolog. PLILP (1996)
Solange Coupet-Grimal, Olivier Ridoux
On the Use of Advanced Logic Programming Languages in Computational Linguistics. J. Log. Program. 24 (1&2) (1995)
Olivier Ridoux
Imagining CLP(A, equiv alpha beta) Constraint Programming (1994)
Pascal Brisset, Olivier Ridoux
The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali. ILPS Workshop: Implementation Techniques for Logic Programming Languages (1994)
Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
Logic Grammars and Lambda-Prolog. ICLP (1993)
Pascal Brisset, Olivier Ridoux
Continuations in Lambda-Prolog. ICLP (1993)
Serge Le Huitouze, Pascale Louvet, Olivier Ridoux
Les grammaires logiques et lambda-Prolog. JFPL (1993)
Yves Bekkers, Olivier Ridoux, Lucien Ungaro
Dynamic Memory Management for Sequential Logic Programming Languages. IWMM (1992)
Pascal Brisset, Olivier Ridoux
Naïve Reverse Can be Linear. ICLP (1991)
Olivier Ridoux, H. Tonneau
Une mise en oeuvre de l'unification d'expressions booléennes. SPLT (1990)
Pascal Brisset, Olivier Ridoux
Quelques applications du filtrage paresseux. SPLT (1989)
Olivier Ridoux
Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria. ISCA (1987)
Louis Chevalier, Serge Le Huitouze, Olivier Ridoux
Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. SPLT (1987)
Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro
MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages. SLP (1986)
Serge Le Huitouze, Olivier Ridoux
Une expérience de réalisation du Gel et du Dif dans MALI. SPLT (1986)
Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro
Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG. SPLT (1984)
Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro
A Memory Management Machine for Prolog Interpreter. ICLP (1984)