130 search results - page 13 / 26 » Verification of recursive methods on tree-like data structur... |
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
CVPR
2000
IEEE
14 years 9 months ago
2000
IEEE
Inferring both 3D structure and motion of nonrigid objects from monocular images is an important problem in computational vision. The challenges stem not only from the absence of ...
ICDM
2003
IEEE
14 years 25 days ago
2003
IEEE
We propose two algorithms for grouping and summarizing association rules. The first algorithm recursively groups rules according to the structure of the rules and generates a tre...
AUSAI
2006
Springer
13 years 9 months ago
2006
Springer
Estimating the structure of the human face is a long studied and difficult task. In this paper we present a new method for estimating facial structure from only a minimal number o...
CGA
2004
13 years 7 months ago
2004
Point-based rendering is a compact and efficient means of displaying complex geometry. Our goal is to enable flexible point-based rendering, permitting local image refinement, req...