Sciweavers

8587 search results - page 8 / 1718
» Interactive dynamic abstraction
Sort
View
DALT
2006
Springer
13 years 11 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
INTERACT
2007
13 years 9 months ago
Ubiquitous Substitution
Abstract. Ubiquitous interaction places the user in the centre of dynamic configurations of technology, where work not necessarily is performed through a single personal computer, ...
Christina Brodersen, Susanne Bødker, Clemen...
MM
2009
ACM
144views Multimedia» more  MM 2009»
14 years 2 months ago
An interactive and multi-level framework for summarising user generated videos
We present an interactive and multi-level abstraction framework for user-generated video (UGV) summarisation, allowing a user the flexibility to select a summarisation criterion ...
Saman Cooray, Hervé Bredin, Li-Qun Xu, Noel...