1763 search results - page 259 / 353 » A Formalization of Polytime Functions |
123
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
CVPR
2004
IEEE
15 years 12 months ago
2004
IEEE
We propose a variational algorithm to jointly estimate the shape, albedo, and light configuration of a Lambertian scene from a collection of images taken from different vantage po...
CVPR
2004
IEEE
15 years 12 months ago
2004
IEEE
The problem of estimating an illumination distribution from images is called inverse lighting. For inverse lighting, three approaches have been developed based on specular reflect...
170
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Given a set of multi-dimensional points, the skyline contains the best points according to any preference function that is monotone on all axes. In practice, applications that req...
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...