117 search results - page 11 / 24 » Scaling Step-Wise Refinement |
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
CHI
2005
ACM
16 years 2 months ago
2005
ACM
As human-computer interaction increasingly focuses on mediated interactions among groups of individuals, there is a need to develop techniques for measurement and analysis of grou...
108
click to vote
IJCV
2008
15 years 1 months ago
2008
We investigate the role of sparsity and localized features in a biologically-inspired model of visual object classification. As in the model of Serre, Wolf, and Poggio, we first a...
134
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...
CIMAGING
2010
15 years 3 months ago
2010
Motivated by the hierarchical multiscale image representation of Tadmor et al.,1 we propose a novel integrodifferential equation (IDE) for a multiscale image representation. To th...