8828 search results - page 103 / 1766 » Formal methods in practice |
137
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
133
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
116
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
168
Voted
ACST
2006
15 years 5 months ago
2006
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...