1458 search results - page 185 / 292 » Monads for incremental computing |
109
click to vote
PG
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the light field oracle, a novel mathematical concept for the acquisition, processing and representation of light fields. We first compute a hierarchical representati...
109
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
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...
136
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without interpenetration. Using these algorithms, a model...
127
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
Recognizing object classes and their 3D viewpoints is an
important problem in computer vision. Based on a partbased
probabilistic representation [31], we propose a new
3D object...
150
click to vote
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
Learning-enhanced relevance feedback is one of the most promising and active research directions in recent year's content-based image retrieval. However, the existing approac...