Sciweavers

134 search results - page 9 / 27
» Linguistic Applications of Formal Concept Analysis
Sort
View
CI
1999
90views more  CI 1999»
13 years 6 months ago
Efficient Implementation of Semantic Relations in Lexical Databases
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
Uta Priss
ICFCA
2007
Springer
14 years 1 months ago
A Parameterized Algorithm for Exploring Concept Lattices
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (...
Peggy Cellier, Sébastien Ferré, Oliv...
ITP
2010
230views Mathematics» more  ITP 2010»
13 years 9 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
IFIP
2001
Springer
13 years 11 months ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke
PARMA
2004
136views Database» more  PARMA 2004»
13 years 8 months ago
Using Classification and Visualization on Pattern Databases for Gene Expression Data Analysis
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
Céline Robardet, Ruggero G. Pensa, Jé...