Sciweavers

1643 search results - page 236 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
CVPR
2004
IEEE
16 years 29 days 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
16 years 29 days ago
Computer Vision for Music Identification
We describe how certain tasks in the audio domain can be effectively addressed using computer vision approaches. This paper focuses on the problem of music identification, where t...
Yan Ke, Derek Hoiem, Rahul Sukthankar
ICCV
2003
IEEE
16 years 26 days ago
Machine Learning and Multiscale Methods in the Identification of Bivalve Larvae
This paper describes a novel application of support vector machines and multiscale texture and color invariants to a problem in biological oceanography: the identification of 6 sp...
Sanjay Tiwari, Scott Gallager
ICML
2004
IEEE
15 years 11 months ago
Relational sequential inference with reliable observations
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...
Alan Fern, Robert Givan
POPL
2006
ACM
15 years 11 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...