2517 search results - page 416 / 504 » Specifying Weak Sets |
207
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Alpha matting refers to the problem of softly extracting the foreground from an image. Given a trimap (specifying known foreground/background and unknown pixels), a straightforwar...
181
click to vote
NFM
2011
15 years 1 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
151
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— This paper addresses the need for geospatial consumers (either humans or machines) to visualize multicolored elevation contour poly lines with respect their different contour i...
203
click to vote
JAIR
2010
15 years 1 months ago
2010
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...
192
click to vote
PR
2010
15 years 1 months ago
2010
Many algorithms in image analysis require a priority queue, a data structure that holds pointers to pixels in the image, and which allows efficiently finding the pixel in the queu...