4609 search results - page 167 / 922 » Automatic Generation of Sigma-Protocols |
173
click to vote
FLAIRS
2003
15 years 7 months ago
2003
This paper presents a semantic labeling technique based on information encoded in FrameNet. Sentences labeled for frames relevant to any new Information Extraction domain enable t...
165
click to vote
VL
2008
IEEE
16 years 24 days ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
201
click to vote
JAR
2010
15 years 4 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
149
click to vote
EMNLP
2010
15 years 4 months ago
2010
We study self-training with products of latent variable grammars in this paper. We show that increasing the quality of the automatically parsed data used for self-training gives h...
192
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
Traditional methods of assessing chemical toxicity of various compounds require tests on animals, which raises ethical concerns and is expensive. Current legislation may lead to a...