1036 search results - page 166 / 208 » The case for a location metasystem |
DCOSS
2008
Springer
13 years 9 months ago
2008
Springer
We consider a mobile sensor network monitoring a spatio-temporal field. Given limited caches at the sensor nodes, the goal is to develop a distributed cache management algorithm to...
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
The Web has grown beyond anybody’s imagination. While significant research has been devoted to understanding aspects of the Web from the perspective of the documents that compr...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...