1277 search results - page 69 / 256 » Terminating Decision Algorithms Optimally |
145
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
107
click to vote
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...
135
click to vote
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
— The computation of periodic orbits of nonlinear mappings is very important for studying and better understanding the dynamics of complex systems. Evolutionary algorithms have s...
132
click to vote
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This article presents a comprehensive study of different ensemble pruning techniques applied to a bagging ensemble composed of decision stumps. Six different ensemble p...
139
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...