Sciweavers

5230 search results - page 500 / 1046
» Engineering of Computer Vision Algorithms Using Evolutionary...
Sort
View
AAAI
2006
15 years 8 months ago
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
Yolifé Arvelo, Blai Bonet, Maria-Esther Vid...
CVPR
2009
IEEE
1528views Computer Vision» more  CVPR 2009»
16 years 10 months ago
Structured Output-Associative Regression
Structured outputs such as multidimensional vectors or graphs are frequently encountered in real world pattern recognition applications such as computer vision, natural language pr...
Liefeng Bo and Cristian Sminchisescu
DAC
2010
ACM
15 years 10 months ago
An AIG-Based QBF-solver using SAT for preprocessing
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
Florian Pigorsch, Christoph Scholl
STOC
2006
ACM
125views Algorithms» more  STOC 2006»
16 years 6 months ago
On earthmover distance, metric labeling, and 0-extension
We study the fundamental classification problems 0-Extension and Metric Labeling. A generalization of Multiway Cut, 0-Extension is closely related to partitioning problems in grap...
Howard J. Karloff, Subhash Khot, Aranyak Mehta, Yu...
ICIAP
2003
ACM
16 years 6 months ago
Virtual gaze redirection in face images
In video-conferencing, the participant watches the screen rather than the camera. This turns the gaze direction away from the other party and makes eye contact impossible. Artific...
Dorian Weiner, Nahum Kiryati