3799 search results - page 683 / 760 » An Engineering Approach to Formal Methods |
143
click to vote
DEXAW
2010
IEEE
15 years 1 months ago
2010
IEEE
In the blogosphere, the amount of digital content is expanding and for search engines, new challenges have been imposed. Due to the changing information need, automatic methods are...
173
click to vote
SIAMSC
2011
14 years 10 months ago
2011
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
144
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
Invariant representations in object recognition systems are generally obtained by pooling feature vectors over spatially local neighborhoods. But pooling is not local in the featu...
161
click to vote
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Historical prices are important information that can help consumers decide whether the time is right to buy a product. They provide both a context to the users, and facilitate the...
133
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...