4609 search results - page 272 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a system we have developed for automatic TV News video indexing that successfully combines results from the fields of speaker verification, acoustic anal...
181
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
We describe a framework for automatically selecting a summary set of photographs from a large collection of geo-referenced photos. The summary algorithm is based on spatial patter...
139
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
183
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper introduces a novel keyword searching paradigm in Relational Databases (DBs), where the result of a search is a ranked set of Object Summaries (OSs). An OS summarizes...
170
click to vote
DAGM
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...