3844 search results - page 119 / 769 » Modular interpreted systems |
104
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
176
Voted
CAIP
2007
Springer
15 years 9 months ago
2007
Springer
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
127
click to vote
ROBIO
2006
IEEE
15 years 9 months ago
2006
IEEE
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
121
click to vote
AVSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This article presents a modular architecture for multicamera tracking in the context of sports broadcasting. For each video stream, a geometrical module continuously performs the ...
149
click to vote
HAPTICS
2005
IEEE
15 years 8 months ago
2005
IEEE
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...