838 search results - page 111 / 168 » From Natural Language to Formal Proof Goal |
140
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The paper presents a computational theory for resolving Japanese zero anaphora, based on the notion of discourse segment. We see that the discourse segment reduces the domain of a...
188
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we present a method for the automatic acquisition of semantic-based reformulations from natural language questions. Our goal is to find useful and generic ...
141
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The increased importance of XML as a data representation format has led to several proposals for facilitating the development of applications that operate on XML data. These propo...
137
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
148
click to vote
SAS
2007
Springer
16 years 7 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...