549 search results - page 79 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
130
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
134
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
127
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Image data are often composed of two or more geometrically distinct constituents; in galaxy catalogs, for instance, one sees a mixture of pointlike structures (galaxy supercluster...
139
click to vote
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
There is need for more formal specification of recognition tasks. Currently, it is common to use labeled training samples to illustrate the task to be performed. The mathematical ...
146
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...