2317 search results - page 381 / 464 » Model based testing for agent systems |
PICS
2000
14 years 11 months ago
2000
Digital photography has the potential to supersede conventional film photography. In order to realize this potential, digital photography needs to provide the best image quality a...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
HT
2006
ACM
15 years 3 months ago
2006
ACM
This paper presents a new deļ¬nition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this contribution we introduce the Shape Flow algorithm (SF), a novel method for spatio-temporal 3D pose estimation of a 3D parametric curve. The SF is integrated into a tracki...