549 search results - page 20 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
104
click to vote
AO
2005
15 years 1 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
131
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
171
click to vote
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
JCDL
2003
ACM
15 years 7 months ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...