7167 search results - page 234 / 1434 » A Technique for Invariant Generation |
200
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
188
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
Estimating photo-consistency is one of the most important ingredients for any 3D stereo reconstruction technique that is based on a volumetric scene representation. This paper pres...
210
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper, we present a new deconvolution method, able to deal with noninvertible blurring functions. To avoid noise amplification, a prior model of the image to be reconstruc...
163
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
Histogram-based techniques are commonly used in image retrieval ranging from basic color histograms to sophisticated histograms of various local feature vectors. Our approach cons...
174
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...