177 search results - page 34 / 36 » Combining Proof-Producing Decision Procedures |
107
click to vote
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
The fact that audio compression for streaming or storage is usually performed offline alleviates traditional constraints on encoding delay. We propose a rate-distortion optimized...
112
Voted
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a new hybrid algorithm for local search in distributed combinatorial optimization. This method is a mix between classical local search methods in which nodes take decis...
112
Voted
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a novel imaging system composed of an array of spherical mirrors and a single highresolution digital camera. We describe the mechanical design and constructi...
179
Voted
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
AMAI
2004
Springer
15 years 7 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...