Sciweavers

1195 search results - page 31 / 239
» acl 2007
Sort
View
ICSE
2007
IEEE-ACM
15 years 4 months ago
ACL2s: "The ACL2 Sedan"
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
ACL
2004
14 years 11 months ago
Improving IBM Word Alignment Model 1
We investigate a number of simple methods for improving the word-alignment accuracy of IBM
Robert C. Moore
50
Voted
ACL
2006
14 years 11 months ago
Computational Analysis of Move Structures in Academic Abstracts
Jien-Chen Wu, Yu-Chia Chang, Hsien-Chin Liou, Jaso...