400 search results - page 15 / 80 » Moving Proofs-As-Programs into Practice |
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. Volumetric structures are frequently used as shape descriptors for 3D data. The capture of such data is being facilitated by developments in multi-view video and range sc...
DCOSS
2007
Springer
14 years 1 months ago
2007
Springer
Localization is a fundamental problem in wireless sensor networks. In this paper, we consider how to localize individual nodes in a wireless sensor network when some subset of the...
ICCV
2009
IEEE
15 years 14 days ago
2009
IEEE
When a curved mirror-like surface moves relative to its
environment, it induces a motion field—or specular flow—
on the image plane that observes it. This specular flow is
r...
ALGORITHMICA
2008
13 years 7 months ago
2008
The notion of -kernel was introduced by Agarwal et al. [5] to set up a unified framework for computing various extent measures of a point set P approximately. Roughly speaking, a ...
BMVC
2002
13 years 10 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...