Sciweavers

1358 search results - page 242 / 272
» Semantic Group Formation
Sort
View
TARK
2007
Springer
14 years 2 months ago
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
Philippe Balbiani, Alexandru Baltag, Hans P. van D...
ICMCS
2006
IEEE
150views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Hierarchical Summarization of Videos by Tree-Structured Vector Quantization
Accurate grouping of video shots could lead to semantic indexing of video segments for content analysis and retrieval. This paper introduces a novel cluster analysis which, depend...
Sergio Benini, Aldo Bianchetti, Riccardo Leonardi,...
LICS
2006
IEEE
14 years 2 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
SIGCSE
2006
ACM
147views Education» more  SIGCSE 2006»
14 years 2 months ago
Image understanding as a second course in AI: preparing students for research
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
Roxanne L. Canosa
ISM
2005
IEEE
212views Multimedia» more  ISM 2005»
14 years 2 months ago
Neural Network Based Framework For Goal Event Detection In Soccer Videos
In this paper, a neural network based framework for semantic event detection in soccer videos is proposed. The framework provides a robust solution for soccer goal event detection...
Kasun Wickramaratna, Min Chen, Shu-Ching Chen, Mei...