4242 search results - page 678 / 849 » An Event Spacing Experiment |
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
The Building Block Hypothesis suggests that Genetic Algorithms (GAs) are well-suited for hierarchical problems, where efficient solving requires proper problem decomposition and a...
GRAPHITE
2007
ACM
14 years 2 months ago
2007
ACM
In this paper, we present a new method for surface-based shape reconstruction from a set of silhouette images. We propose to project the viewing cones from all viewpoints to the 3...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...