844 search results - page 129 / 169 » Safraless Decision Procedures |
ICASSP
2008
IEEE
14 years 3 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...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
ISM
2008
IEEE
14 years 3 months ago
2008
IEEE
Advances in video technology are being incorporated into today’s medical research and education. Medical videos contain important medical events, such as diagnostic or therapeut...
IAT
2007
IEEE
14 years 3 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...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper introduces the Abstract Data and Communication Library (ADCL). ADCL is an application level communication library aiming at providing the highest possible performanc...