2393 search results - page 212 / 479 » Bounds-Consistent Local Search |
260
click to vote
IPM
2007
15 years 3 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
105
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
133
Voted
ADHOCNOW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract— Mobile wireless sensor networks have to be robust against the limitations of the underlying platform. While lightweight form factor makes them an attractive choice for ...
116
click to vote
ICCV
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper considers the problem of self-calibration of a camera from an image sequence in the case where the camera's internal parameters (most notably focal length) may cha...
150
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Bandit based methods for tree search have recently gained popularity when applied to huge trees, e.g. in the game of go [6]. Their efficient exploration of the tree enables to ret...