6059 search results - page 355 / 1212 » A Technique for Verifying Measurements |
152
Voted
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
This paper presents a new MRF optimization algorithm, which is derived from Linear Programming and manages to go beyond current state-of-the-art techniques (such as those based on ...
171
Voted
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper, we demonstrate based on the linear model of [1, 2] that inverse halftoning is equivalent to the well-studied problem of deconvolution in the presence of colored noi...
301
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper investigates the view update problem for XML views published from relational data. We consider (possibly) recursively defined XML views, compressed into DAGs and stored...
277
Voted
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Scientific database federations are geographically distributed and network bound. Thus, they could benefit from proxy caching. However, existing caching techniques are not suitabl...
184
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...