Sciweavers

2142 search results - page 131 / 429
» Representing Time in Multimedia Systems
Sort
View
MM
2004
ACM
114views Multimedia» more  MM 2004»
15 years 12 months ago
Context data in geo-referenced digital photo collections
Given time and location information about digital photographs we can automatically generate an abundance of related contextual metadata, using off-the-shelf and Web-based data so...
Mor Naaman, Susumu Harada, QianYing Wang, Hector G...
IJCSA
2006
77views more  IJCSA 2006»
15 years 6 months ago
Formal Approach for the Coherence Control of SMIL Documents
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
S. Mazouz, D. Dahmani, L. Kaddouri
EMSOFT
2010
Springer
15 years 4 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
IJCAI
1993
15 years 7 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
MM
2009
ACM
131views Multimedia» more  MM 2009»
16 years 28 days ago
TravelScope: standing on the shoulders of dedicated travelers
In this paper, we propose a system called TravelScope that helps users experience virtual tours by presenting information mined from user-generated travelogues and photos. The sys...
Qiang Hao, Rui Cai, Jiang-Ming Yang, Rong Xiao, Li...