1361 search results - page 251 / 273 » Homing in scale space |
185
click to vote
TPHOL
2009
IEEE
16 years 21 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
152
click to vote
CIKM
2009
Springer
16 years 19 days ago
2009
Springer
In this paper we study approximate landmark-based methods for point-to-point distance estimation in very large networks. These methods involve selecting a subset of nodes as landm...
159
click to vote
MHCI
2009
Springer
16 years 18 days ago
2009
Springer
By equipping a mobile device with distance sensing capabilities, we aim to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical ...
178
click to vote
ICAC
2008
IEEE
16 years 16 days ago
2008
IEEE
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
157
click to vote
IEEEPACT
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper presents the Distributed Cooperative Caching, a scalable and energy-efficient scheme to manage chip multiprocessor (CMP) cache resources. The proposed configuration is...