7167 search results - page 75 / 1434 » A Technique for Invariant Generation |
166
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
156
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Clustering video sequences in order to infer and extract activities from a single video stream is an extremely important problem and has significant potential in video indexing, s...
147
click to vote
CVPR
2009
IEEE
16 years 3 months ago
2009
IEEE
Consider a projector-camera setup where a sinusoidal pattern is projected onto the scene, and an image of the objects imprinted with the pattern is captured by the camera. In this...
125
click to vote
FMCAD
2009
Springer
16 years 22 days ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
175
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
We present a novel technique for image inpainting, the problem of filling-in missing image parts. Image inpainting is ill-posed and we adopt a probabilistic model-based approach ...