Sciweavers

3906 search results - page 356 / 782
» From grids to places
Sort
View
ICIP
2002
IEEE
16 years 8 months ago
Mesh-based motion estimation and compensation in the wavelet domain using a redundant transform
In this paper, a technique is presented that incorporates an irregular triangle mesh into wavelet-domain motion-estimation and motion-compensation using a shift-invariant redundan...
Suxia Cui, Yonghui Wang, James E. Fowler
GIS
2007
ACM
16 years 7 months ago
Hierarchical photo organization using geo-relevance
We present a novel framework for organizing large collections of images in a hierarchical way, based on scene semantics. Rather than score images directly, we use them to score th...
Boris Epshtein, Eyal Ofek, Yonatan Wexler, Pusheng...
CP
2009
Springer
16 years 7 months ago
Maintaining State in Propagation Solvers
Abstract. Constraint propagation solvers interleave propagation, removing impossible values from variable domains, with search. The solver state is modified during propagation. But...
Raphael M. Reischuk, Christian Schulte, Peter J. S...
CADE
2009
Springer
16 years 7 months ago
Ground Interpolation for Combined Theories
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
Amit Goel, Sava Krstic, Cesare Tinelli
CHI
2005
ACM
16 years 7 months ago
Notes on fridge surfaces
Drawing on ongoing ethnographic investigations into home life, this paper presents detailed findings from a preliminary examination of refrigerator surfaces. The use and organizat...
Laurel Swan, Alex S. Taylor