7167 search results - page 343 / 1434 » A Technique for Invariant Generation |
182
click to vote
AMAI
2004
Springer
16 years 1 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
220
click to vote
CDC
2009
IEEE
16 years 10 days ago
2009
IEEE
Abstract— For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates s...
146
click to vote
CDC
2009
IEEE
16 years 10 days ago
2009
IEEE
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...
198
click to vote
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
Image-based rendering is a powerful new approach for generating real-time photorealistic computer graphics. It can provide convincing animations without an explicit geometric repr...
178
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a region-based foreground object segmentation method capable of dealing with image sequences containing noise, illumination variations and dynamic backgrounds (as often...