3018 search results - page 300 / 604 » Linguistic Knowledge Generator |
183
click to vote
WOLLIC
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
230
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
172
click to vote
JCDL
2005
ACM
16 years 7 days ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
173
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
This paper presents the integration of cohesive properties of text with coherence relations, to obtain an adequate representation of text for automatic summarization. A summarizer...
223
click to vote
AAAI
2010
15 years 7 months ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...