386 search results - page 75 / 78 » acl 2006 |
TPHOL
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
This paper deals with the problem of recognizing and extracting acronymdefinition pairs in Swedish medical texts. This project applies a rule-based method to solve the acronym rec...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
This paper addresses the problem of automatically retrieving answers for how-to questions, focusing on those that inquire about the procedure for achieving a specific goal. For su...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We consider the evaluation problem in Natural Language Generation (NLG) and present results for evaluating several NLG systems with similar functionality, including a knowledge-ba...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We investigate a series of graph-theoretic constraints on non-projective dependency parsing and their effect on expressivity, i.e. whether they allow naturally occurring syntactic...