Sciweavers

2230 search results - page 200 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
AAAI
2000
15 years 4 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
CVPR
2001
IEEE
16 years 5 months ago
An Adaptive Algorithm for Text Detection from Natural Scenes
We present a new adaptive algorithm for automatic detection of text from a natural scene. The initial cues of text regions are first detected from the captured image/video. An ada...
Jiang Gao, Jie Yang
EMMCVPR
2007
Springer
15 years 9 months ago
Continuous Global Optimization in Multiview 3D Reconstruction
Abstract. In this work, we introduce a robust energy model for multiview 3D reconstruction that fuses silhouette- and stereo-based image information. It allows to cope with signiï¬...
Kalin Kolev, Maria Klodt, Thomas Brox, Selim Esedo...
ICML
2000
IEEE
16 years 3 months ago
Hierarchical Unsupervised Learning
We consider the problem of unsupervised classification of temporal sequences of facial expressions in video. This problem arises in the design of an adaptive visual agent, which m...
Shivakumar Vaithyanathan, Byron Dom
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 3 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný