2155 search results - page 201 / 431 » Computational Linguistics |
189
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
229
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
161
click to vote
LREC
2008
15 years 8 months ago
2008
The field of automated sentiment analysis has emerged in recent years as an exciting challenge to the computational linguistics community. Research in the field investigates how e...
182
click to vote
ACL
2010
15 years 4 months ago
2010
Finding allowable places in words to insert hyphens is an important practical problem. The algorithm that is used most often nowadays has remained essentially unchanged for 25 yea...
142
click to vote
ACL
2010
15 years 4 months ago
2010
Most sentiment analysis approaches use as baseline a support vector machines (SVM) classifier with binary unigram weights. In this paper, we explore whether more sophisticated fea...