396 search results - page 57 / 80 » Combining decision procedures for the reals |
123
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
Boosting based detection methods have successfully been used for robust detection of faces and pedestrians. However, a very large amount of labeled examples are required for train...
215
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
113
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
106
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...
110
click to vote
IAT
2007
IEEE
15 years 7 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...