386 search results - page 47 / 78 » acl 2006 |
118
Voted
ACL2
2006
ACM
15 years 4 months 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...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
This paper describes an unsupervised knowledge
ACL
2006
14 years 11 months ago
2006
Statistical parsers trained and tested on the Penn Wall Street Journal (WSJ) treebank have shown vast improvements over the last 10 years. Much of this improvement, however, is ba...
ACL
2008
14 years 11 months ago
2008
When multiple conversations occur simultaneously, a listener must decide which conversation each utterance is part of in order to interpret and respond to it appropriately. We ref...
ACL
2008
14 years 11 months ago
2008
Given several systems' automatic translations of the same sentence, we show how to combine them into a confusion network, whose various paths represent composite translations...