4609 search results - page 378 / 922 » Automatic Generation of Sigma-Protocols |
160
click to vote
TRECVID
2008
15 years 8 months ago
2008
In this paper we describe our system and experiments performed for both the automatic search task and the event detection task in TRECVid 2008. For the automatic search task for 2...
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
175
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
191
click to vote
VC
2008
15 years 6 months ago
2008
This paper describes a system architecture, which enables the automatic semantic annotation and adaptation of multimedia content in context-aware content sharing environments. The ...
232
click to vote
WWW
2010
ACM
16 years 2 days ago
2010
ACM
Video summarization is a mechanism for generating short summaries of the video to help people quickly make sense of the content of the video before downloading or seeking more det...