A blue social bookmark and publication sharing system.
bookmarks
(1)
publications
- to logical_information_system databases logical_file_system by sebferre on Jun 12, 2007, 9:41 AM
- to logical_information_system navigation relation logical_concept_analysis by sebferre and 1 other person on Jun 12, 2007, 9:41 AM
- to application_developpement type_checking theorem_provers components modules_and_functors logic by sebferre on Jun 12, 2007, 9:41 AM
S. Ferré and O. Ridoux Information Processing \& Management40(3):383--419(
2004)
to information_system representation_language theorem_proving information_retrieval deduction query_formulation by sebferre on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Inria, Institut National de Recherche en Informatique et en Automatique, may2002. to software_component applied_logic by sebferre on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Inria, Institut National de Recherche en Informatique et en Automatique, sep2002. to information_system representation_language theorem_proving information_retrieval deduction query_formulation by sebferre on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Int. Conf. Conceptual Structures, page299--313. Springer, (
2002)
to information_system classification context learning concept_analysis logic by sebferre and 1 other person on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Int. Work. Logic-based Program Synthesis and Transformation, page191--215. Springer, (
2002)
to logic-based_systems composition theorem_prover logic by sebferre on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Int. Conf. Conceptual Structures, page187--201. Springer, (
2001)
to logical_information_system navigation knowledge_discovery concept_analysis by sebferre and 2 other people on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Inria, Institut National de Recherche en Informatique et en Automatique, apr2000. to navigation querying concept_analysis logic file_system by sebferre and 3 other people on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Int. Conf. Conceptual Structures, page371--384. Springer, (
2000)
to information_system context concept_analysis logic by sebferre and 1 other person on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Int. Conf. Rules and Objects in Databases, page1033--1047. Springer, (
2000)
to information_system concept_analysis logic file_system by sebferre and 3 other people on Jun 12, 2007, 9:41 AMS. Ferré and O. Ridoux Inria, Institut National de Recherche en Informatique et en Automatique, dec1999. to information_system context querying concept_lattice concept_analysis logic browsing by sebferre on Jun 12, 2007, 9:41 AMS. Ferré and R. D. King Journal of Computational Biology13(3):719--731(
2006)
to flexible_motifs protein_secondary_structure functional_genomics dichotomic_search_algorithm by sebferre on Jun 12, 2007, 9:41 AMS. Ferré and R. D. King Fundamenta Informaticae -- Special Issue on Advances in Mining Graphs, Trees and Sequences(
2005)
to data-mining machine_learning logic_functors concept_analysis logic by sebferre and 1 other person on Jun 12, 2007, 9:41 AMS. Ferré and R. D. King Int. Conf. Formal Concept Analysis, page47--54. Springer, (
2004)
to information_system logical_concept_analysis bioinformatics by sebferre and 1 other person on Jun 12, 2007, 9:41 AMS. Ferré Int. Conf. Formal Concept Analysis, Springer, (
2007)
To appear
.
to suffix_tree string concept_analysis logic by sebferre and 1 other person on Jun 12, 2007, 9:41 AMS. Ferré Int. Conf. Formal Concept Analysis, page130-145. Springer, (
2006)
to epistemic_logic all_i_know concept_analysis logic by sebferre and 1 other person on Jun 12, 2007, 9:41 AMS. Ferré Using Conceptual Structures -- Contributions to ICCS 2003, Shaker Verlag, (
2003)
to sparse_context lattice associative_concept concept_analysis algorithm by sebferre on Jun 12, 2007, 9:41 AMS. Ferré Université de Rennes~1, oct2002. Accessible en ligne à l'adresse http://www.irisa.fr/bibli/publi/theses/theses02.html.
.
to information_system information_retrieval machine_learning concept_lattice concept_analysis logic browsing by sebferre on Jun 12, 2007, 9:41 AM
