346 search results - page 20 / 70 » An agent based synchronization scheme for multimedia applica... |
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
WETICE
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
VLDB
1998
ACM
15 years 3 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
104
click to vote
DFMA
2005
IEEE
15 years 4 months ago
2005
IEEE
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we demonstrate a novel poster image matching system for wireless multimedia applications. We propose a method that incorporates both color and layout information of...