4609 search results - page 142 / 922 » Automatic Generation of Sigma-Protocols |
143
click to vote
EMNLP
2010
15 years 4 months ago
2010
We present the first evaluation of the utility of automatic evaluation metrics on surface realizations of Penn Treebank data. Using outputs of the OpenCCG and XLE realizers, along...
137
click to vote
COMPLEX
2009
Springer
16 years 29 days ago
2009
Springer
Security vendors are facing a serious problem of defeating the complexity of malwares. With the popularity and the variety of zeroday malware over the Internet, generating their si...
145
click to vote
AVI
2000
15 years 7 months ago
2000
This paper proposes a technique for generating more comprehensible animations from discussions, which are often hard to follow, in USENET. This technique consists of two steps. In...
183
click to vote
FAC
2010
15 years 3 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
152
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Wireless access with mobile devices is a promising addition to the WWW and traditional electronic business. Mobile devices provide convenience and portable access to the huge info...