549 search results - page 46 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
121
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
129
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
132
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
140
click to vote
ISMM
2009
Springer
15 years 10 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
130
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...