5200 search results - page 665 / 1040 » Symbolic models for control systems |
206
click to vote
ICIP
2002
IEEE
16 years 20 days ago
2002
IEEE
This paper presents a unified approach to human activity capturing and recognition. It targets applications such as a speaker walking, turning around, sitting and getting up from ...
171
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
186
click to vote
FSTTCS
2005
Springer
16 years 1 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
263
Voted
PLDI
2003
ACM
16 years 29 days ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
260
click to vote
WSE
2002
IEEE
16 years 18 days ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...