Sciweavers

9642 search results - page 356 / 1929
» Semantics in Multimedia Systems
Sort
View
FUIN
2008
103views more  FUIN 2008»
15 years 6 months ago
LDYIS: a Framework for Model Checking Security Protocols
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
Alessio Lomuscio, Wojciech Penczek
MUE
2007
IEEE
100views Multimedia» more  MUE 2007»
16 years 1 months ago
Pave the Way to Future Smart Living Space - Cross-layer Enhanced AAA for 4G Core Network
The 4th generation mobile communication system certainly will have a lot of improvement such as supporting higher multimedia loading, offering faster transmission rate, and the im...
Tin Yu Wu, Diego Chung, Chi-Yuan Chen, Han-Chieh C...
ICMCS
2006
IEEE
128views Multimedia» more  ICMCS 2006»
16 years 27 days ago
Game-Theoretic Paradigm for Resource Management in Spectrum Agile Wireless Networks
We propose a new way of architecting the wireless multimedia communications systems by jointly optimizing the protocol stack at each station and the resource exchanges among stati...
Fangwen Fu, Ahmad Reza Fattahi, Mihaela van der Sc...
ICMCS
2000
IEEE
134views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Information Access using Speech, Speaker and Face Recognition
We describe a scheme to combine the results of audio and face identification for multimedia indexing and retrieval. Audio analysis consists of speech and speaker recognition deri...
Mahesh Viswanathan, Homayoon S. M. Beigi, Alain Tr...
MM
2010
ACM
196views Multimedia» more  MM 2010»
15 years 7 months ago
Non-parametric anomaly detection exploiting space-time features
In this paper a real-time anomaly detection system for video streams is proposed. Spatio-temporal features are exploited to capture scene dynamic statistics together with appearan...
Lorenzo Seidenari, Marco Bertini