2333 search results - page 72 / 467 » Recursive Computational Depth |
CVPR
1999
IEEE
14 years 10 months ago
1999
IEEE
A recursive method is presented for recovering 3D object shape and camera motion under orthography from an extended sequence of video images. This may be viewed as a natural exten...
SIGGRAPH
1998
ACM
14 years 8 days ago
1998
ACM
Doo-Sabin and Catmull-Clark subdivision surfaces are based on the notion of repeated knot insertion of uniform tensor product B-spline surfaces. This paperdevelopsrules for non-un...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper develops a recursive method for computing moments of 2D objects described by elliptic Fourier descriptors (EFD). Green's theorem is utilized to transform 2D surfac...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
APAL
2000
13 years 7 months ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...