4689 search results - page 558 / 938 » Analysis and modeling of control tasks in dynamic systems |
208
click to vote
MM
2003
ACM
16 years 26 days ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
223
click to vote
COOP
2004
15 years 9 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
246
click to vote
EMSOFT
2004
Springer
16 years 1 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
211
click to vote
ATAL
2003
Springer
16 years 25 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
229
click to vote
FGR
2011
IEEE
14 years 11 months ago
2011
IEEE
Abstract—Vision-based prop-free pointing detection is challenging both from an algorithmic and a systems standpoint. From a computer vision perspective, accurately determining wh...