523 search results - page 42 / 105 » Online Testing of Real-time Systems Using Uppaal |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...
HAPTICS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
ECRTS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Over the past decade, tremendous amount of research activity has focused around the problem of localization in GPS denied environments. Challenges with localization are highlighte...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper describes an autonomous mobile surveillance system usually used in a factory premises with some high-rise buildings. This system consists of a wireless LAN network, a ...