346 search results - page 20 / 70 » An agent based synchronization scheme for multimedia applica... |
154
click to vote
ATAL
2005
Springer
15 years 11 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...
141
click to vote
WETICE
2000
IEEE
15 years 10 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...
149
click to vote
VLDB
1998
ACM
15 years 10 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...
178
click to vote
DFMA
2005
IEEE
15 years 11 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...
143
click to vote
ICMCS
2006
IEEE
16 years 1 days 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...