1478 search results - page 76 / 296 » Modular Complexity Analysis via Relative Complexity |
134
click to vote
TCSV
2008
15 years 2 months ago
2008
The extracted low resolution video from a motion compensated 3-D subband/wavelet scalable video coder is unnecessarily sharp and sometimes contains significant aliasing, compared ...
VLDB
2000
ACM
15 years 6 months ago
2000
ACM
This demonstration illustrates how a comprehensive database reconciliation tool can provide the ability to characterize data-quality and data-reconciliation issues in complex real...
118
Voted
CIVR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Efficient image retrieval from large image databases is a challenging problem. In this paper we present a method offering constant time complexity for the comparison of t...
147
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
127
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...