1522 search results - page 166 / 305 » Practical Exception Specifications |
JIIS
2006
15 years 1 months ago
2006
Discovering association rules is one of the important tasks in data mining. While most of the existing algorithms are developed for efficient mining of frequent patterns, it has be...
138
click to vote
LOGCOM
2008
15 years 1 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
115
click to vote
AC
2005
Springer
15 years 1 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
124
click to vote
STTT
2008
15 years 1 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
141
click to vote
CCE
2005
15 years 1 months ago
2005
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...