2372 search results - page 59 / 475 » is 2012 |
160
click to vote
ACL
2012
13 years 8 months ago
2012
This paper describes Movie-DiC a Movie Dialogue Corpus recently collected for research and development purposes. The collected dataset comprises 132,229 dialogues containing a tot...
190
Voted
LICS
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. This paper studies an ex...
195
click to vote
EUROCRYPT
2012
Springer
13 years 8 months ago
2012
Springer
We provide an alternative method for constructing lattice-based digital signatures which does not use the “hash-and-sign” methodology of Gentry, Peikert, and Vaikuntanathan (ST...
200
click to vote
SAS
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...