1325 search results - page 77 / 265 » The Incidence Propagation Method |
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
TSP
2011
13 years 4 months ago
2011
—This paper proposes a technique for motion estimation of groups of targets based on evolving graph networks. The main novelty over alternative group tracking techniques stems fr...
ECCV
2002
Springer
14 years 11 months ago
2002
Springer
We present a method ? termed Helmholtz stereopsis ? for reconstructing the geometry of objects from a collection of images. Unlike existing methods for surface reconstruction (e.g...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
Recognition of specular objects is particularly difficult because their appearance is much more sensitive to lighting changes than that of Lambertian objects. We consider an appr...
SMA
2005
ACM
14 years 2 months ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...