8828 search results - page 1177 / 1766 » Formal methods in practice |
175
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, we present a novel all-solutions preimage SAT solver, SOLALL, with the following features: (1) a new success-driven learning algorithm employing smaller cut sets; (...
194
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
187
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
186
click to vote
DSVIS
2006
Springer
15 years 11 months ago
2006
Springer
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...
191
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on both an explicit parameterization of the extremal contours...