3018 search results - page 48 / 604 » Leveraging the |
114
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
158
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
In this article, we focus on the problem of large-scale instance-level image retrieval. For efficiency reasons, it is common to represent an image by a fixed-length descriptor w...
IJCV
2012
13 years 2 months ago
2012
HUC
1999
Springer
15 years 4 months ago
1999
Springer
Wireless and positioning technologies in combination with Internet’s demonstrated capability to integrate voice and data, further leveraged by the use
ML
2002
ACM
14 years 11 months ago
2002
ACM
In this paper we examine ensemble methods for regression that leverage or "boost" base regressors by iteratively calling them on modified samples. The most successful lev...