4689 search results - page 637 / 938 » Analysis and modeling of control tasks in dynamic systems |
186
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
Detecting human arm motion in a typical classroom environment is a challenging task due to the noisy and highly dynamic background, varying light conditions, as well as the small ...
197
click to vote
ILC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
173
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Sponsored search mechanisms have drawn much attention from both academic community and industry in recent years since the seminal papers of [3] and [4]. However, most of the exist...
259
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
173
click to vote
AAAI
1996
15 years 8 months ago
1996
In recent years, compositional modeling and selfexplanatory simulation techniques have simplified the process of building dynamic simulators of physical systems. Building steady-s...