2155 search results - page 200 / 431 » Computational Linguistics |
171
click to vote
COLING
2002
15 years 6 months ago
2002
The LinGO Redwoods initiative is a seed activity in the design and development of a new type of treebank. While several medium- to large-scale treebanks exist for English (and for...
142
click to vote
SYNASC
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
178
click to vote
ACL
2012
13 years 9 months ago
2012
Many machine translation (MT) evaluation metrics have been shown to correlate better with human judgment than BLEU. In principle, tuning on these metrics should yield better syste...
193
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
199
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...