1509 search results - page 259 / 302 » Tracking Real-Time Systems Requirements |
ICMCS
2000
IEEE
14 years 6 days ago
2000
IEEE
As the use of applications employing video contents becomes widespread, it is crucial for representation systems to be able to handle video effectively and flexibly. In this pape...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
ACIIDS
2009
IEEE
13 years 10 months ago
2009
IEEE
The field of wireless sensor network (WSN) is an important and challenging research area today. Advancements in sensor networks enable a wide range of environmental monitoring and ...
TOPLAS
2010
13 years 6 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
TITS
2010
13 years 2 months ago
2010
This paper presents a sensor-fusion framework for video-based navigation. Video-based navigation offers the advantages over existing approaches. With this type of navigation, road ...