2214 search results - page 188 / 443 » Complexity of Reasoning |
144
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
136
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper, we consider the problem of lossless compression of video by taking into account temporal information. Video lossless compression is an interesting possibility in th...
124
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Many computer vision algorithms make use of local features, and rely on a systematic comparison of these features. The chosen dissimilarity measure is of crucial importance for th...
112
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
A new method for hiding digital data in the bitstream of an ACELP speech codec is proposed in this paper. The key element of our method is an alternative search strategy for the A...
121
Voted
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...