549 search results - page 27 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
112
click to vote
CAISE
2000
Springer
15 years 6 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
127
click to vote
APCCM
2009
15 years 3 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
102
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
127
click to vote
CINQ
2004
Springer
15 years 7 months ago
2004
Springer
This chapter investigates subgroup discovery as a task of constraint-based mining of local patterns, aimed at describing groups of individuals with unusual distributional character...
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...