867 search results - page 97 / 174 » On Two Forms of Structural Recursion |
119
Voted
APAL
2010
15 years 2 months ago
2010
The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver ([19]) and Harrington-K...
123
Voted
ENTCS
2000
15 years 2 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
103
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
This paper presents a method for computing the visual hull that is based on two novel representations: the rim mesh, which describes the connectivity of contour generators on the ...
110
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
A novel method for the simultaneous modeling and tracking (SMAT) of a feature set during motion sequence is proposed. The method requires no prior information. Instead the a poste...
126
Voted
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
The problem of extracting continuous structures from noisy or cluttered images is a difficult one. Successful extraction depends critically on the ability to balance prior constra...