Sciweavers

373 search results - page 10 / 75
» MARTE-based Design of a Multimedia Application and Formal An...
Sort
View
ANTSW
2010
Springer
15 years 3 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
MM
2006
ACM
115views Multimedia» more  MM 2006»
15 years 11 months ago
Human-centered computing: a multimedia perspective
Human-Centered Computing (HCC) is a set of methodologies that apply to any field that uses computers, in any form, in applications in which humans directly interact with devices o...
Alejandro Jaimes, Nicu Sebe, Daniel Gatica-Perez
ISSS
2002
IEEE
194views Hardware» more  ISSS 2002»
15 years 10 months ago
Managing Dynamic Concurrent Tasks in Embedded Real-Time Multimedia Systems
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
Rudy Lauwereins, Chun Wong, Paul Marchal, Johan Vo...
MM
2006
ACM
93views Multimedia» more  MM 2006»
15 years 11 months ago
Scaling laws and tradeoffs in peer-to-peer live multimedia streaming
It is well-known that live multimedia streaming applications operate more efficiently when organized in peer-to-peer (P2P) topologies, since peer upload capacities are utilized t...
Tara Small, Ben Liang, Baochun Li
MM
2003
ACM
94views Multimedia» more  MM 2003»
15 years 11 months ago
The video paper multimedia playback system
Video Paper is a prototype system for multimedia browsing, analysis, and replay. Key frames extracted from a video recording are printed on paper together with bar codes that allo...
Jamey Graham, Berna Erol, Jonathan J. Hull, Dar-Sh...