Sciweavers

2333 search results - page 72 / 467
» Recursive Computational Depth
Sort
View
CVPR
1999
IEEE
16 years 2 months ago
An Efficient Recursive Factorization Method for Determining Structure from Motion
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...
Yanhua Li, Michael J. Brooks
107
Voted
SIGGRAPH
1998
ACM
15 years 4 months ago
Non-uniform Recursive Subdivision Surfaces
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...
Thomas W. Sederberg, Jianmin Zheng, David Sewell, ...
112
Voted
ICPR
2010
IEEE
14 years 10 months ago
Moments of Elliptic Fourier Descriptors
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...
Octavian Soldea, Mustafa Unel, Aytül Er&ccedi...
119
Voted
FMCAD
2004
Springer
15 years 6 months ago
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States
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...
Mohammad Awedh, Fabio Somenzi
89
Voted
APAL
2000
61views more  APAL 2000»
15 years 12 days ago
Higher type recursion, ramification and polynomial time
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...
Stephen J. Bellantoni, Karl-Heinz Niggl, Helmut Sc...