4609 search results - page 86 / 922 » Automatic Generation of Sigma-Protocols |
156
Voted
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
166
Voted
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
132
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
134
click to vote
IVA
2007
Springer
15 years 11 months ago
2007
Springer
The Text2Dialogue (T2D) system that we are developing allows digital content creators to generate attractive multi-modal dialogues presented by two virtual agents—by simply provi...
119
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we present a novel approach towards customized and automated generation of sports highlights from its extracted events and semantic concepts. A recorded sports vide...