2702 search results - page 230 / 541 » Practically Applicable Formal Methods |
168
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
106
click to vote
AGI
2008
15 years 3 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...
111
click to vote
CLA
2004
15 years 3 months ago
2004
An important problem in applications of formal concept analysis is a possibly large number of clusters extracted from data. Factorization is one of the methods being used to cope w...
116
click to vote
CLA
2006
15 years 3 months ago
2006
We present an application of formal concept analysis aimed at creating and representing a meaningful structure of knowledge communities under the form of a lattice-based taxonomy ...
108
click to vote
ENTCS
2002
15 years 2 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...