4609 search results - page 37 / 922 » Automatic Generation of Sigma-Protocols |
150
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
149
click to vote
MM
2004
ACM
15 years 10 months ago
2004
ACM
Music video (MV) is a short film meant to present a visual representation of a popular music song. In this paper, we present a system that automatically generates MV-like videos f...
134
click to vote
CICLING
2006
Springer
15 years 8 months ago
2006
Springer
The automatic generation of back-of-the book indexes seems to be out of sight of the Information Retrieval and Natural Language Processing communities, although the increasingly la...
139
click to vote
IESS
2007
Springer
15 years 11 months ago
2007
Springer
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...
150
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...