10462 search results - page 353 / 2093 » Towards a |
206
click to vote
KES
2005
Springer
16 years 8 days ago
2005
Springer
A Decentralised Adaptive Clustering (DAC) algorithm for self-monitoring impact sensing networks is presented within the context of CSIRO-NASA Ageless Aerospace Vehicle project. DAC...
158
click to vote
LOCA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we identify the common techniques and technologies that are enabling location identification in a ubiquitous computing environment. We also address the imp...
132
Voted
LOCA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
172
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
