4689 search results - page 558 / 938 » Analysis and modeling of control tasks in dynamic systems |
192
Voted
MM
2003
ACM
16 years 3 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...
205
Voted
COOP
2004
15 years 8 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...
218
Voted
EMSOFT
2004
Springer
16 years 8 days 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...
187
click to vote
ATAL
2003
Springer
16 years 3 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...
207
Voted
FGR
2011
IEEE
14 years 10 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...