1116 search results - page 66 / 224 » Applying Predicate Abstraction to Abstract State Machines |
102
click to vote
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
107
click to vote
IWBRS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper proposes a new method for personal identity verification based the analysis of face images applying One Class Support Vector Machines. This is a recently intr...
100
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
115
click to vote
IEAAIE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Machine learning methods were successfully applied in recent years for detecting new and unseen computer viruses. The viruses were, however, detected in small virus loade...
148
click to vote
DAGM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we present a novel method for reducing the computational complexity of a Support Vector Machine (SVM) classifier without significant loss of accuracy. We a...