Sciweavers

1984 search results - page 42 / 397
» The colourful feasibility problem
Sort
View
CPAIOR
2006
Springer
14 years 1 months ago
Conditional Lexicographic Orders in Constraint Satisfaction Problems
The lexicographically-ordered CSP ("lexicographic CSP" for short) combines a simple representation of preferences with the feasibility constraints of ordinary CSPs. Prefe...
Richard J. Wallace, Nic Wilson
ILP
2007
Springer
14 years 4 months ago
Structural Statistical Software Testing with Active Learning in a Graph
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
Nicolas Baskiotis, Michèle Sebag
CVPR
2004
IEEE
14 years 12 months ago
Bayesian Video Matting Using Learnt Image Priors
Video matting, or layer extraction, is a classic inverse problem in computer vision that involves the extraction of foreground objects, and the alpha mattes that describe their op...
Nicholas Apostoloff, Andrew W. Fitzgibbon
CVPR
2005
IEEE
14 years 12 months ago
Statistical Cue Integration for Foveated Wide-Field Surveillance
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
Simon J. D. Prince, James H. Elder, Yuqian Hou, Mi...
ECCV
2002
Springer
14 years 11 months ago
Bayesian Estimation of Layers from Multiple Images
When estimating foreground and background layers (or equivalently an alpha matte), it is often the case that pixel measurements contain mixed colours which are a combination of for...
Yonatan Wexler, Andrew W. Fitzgibbon, Andrew Zisse...