6562 search results - page 296 / 1313 » Noetherianity and Combination Problems |
168
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
109
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Checking the equivalence of a system-level model against an RTL design is a major challenge. The reason is that usually the system-level model is written by a system architect, ...
165
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a generic features selection method and its applications on some document analysis problems. The method is based on a genetic algorithm (GA), whose tness funct...
184
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we describe a novel approach to tackle intention recognition, by combining dynamically configurable and situation-sensitive Causal Bayes Networks plus pla...
203
Voted
EUROGP
2009
Springer
16 years 1 months ago
2009
Springer
One-class classification naturally only provides one-class of exemplars, the target class, from which to construct the classification model. The one-class approach is constructed...