8587 search results - page 111 / 1718 » Interactive dynamic abstraction |
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
CLEAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper presents a visual particle filter for jointly tracking the position of a person and her head pose. The resulting information may be used to support automatic ...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
HUC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Many existing localization systems generate location predictions, but fail to report how accurate the predictions are. This paper explores the effect of revealing the er...
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...