Sciweavers

250 search results - page 12 / 50
» Contour-Based Structure from Reflection
Sort
View
POPL
2010
ACM
15 years 7 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
WWW
2010
ACM
14 years 10 months ago
Talking about data: sharing richly structured information through blogs and wikis
Abstract. Several projects have brought rich data semantics to collaborative wikis, but blogging platforms remain primarily limited to text. As blogs comprise a significant portion...
Edward Benson, Adam Marcus 0002, Fabian Howahl, Da...
AAAI
2004
14 years 11 months ago
Reconstruction of 3D Models from Intensity Images and Partial Depth
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
Luz Abril Torres-Méndez, Gregory Dudek
CVPR
2003
IEEE
15 years 11 months ago
Direct 3D-Rotation Estimation from Spherical Images via a Generalized Shift Theorem
Omnidirectional images arising from 3D-motion of a camera contain persistent structures over a large variation of motions because of their large field of view. This persistence ma...
Ameesh Makadia, Kostas Daniilidis
CVPR
2005
IEEE
15 years 11 months ago
Feature Uncertainty Arising from Covariant Image Noise
Uncertainty estimates related to the position of image features are seeing increasing use in several computer vision problems. Many of these have been recast from standard least s...
R. Matt Steele, Christopher O. Jaynes