Sciweavers

386 search results - page 4 / 78
» acl 2006
Sort
View
ACL
2006
15 years 5 months ago
Learning Event Durations from Event Descriptions
Feng Pan, Rutu Mulkar-Mehta, Jerry R. Hobbs
84
Voted
ACL
2006
15 years 5 months ago
Computational Analysis of Move Structures in Academic Abstracts
Jien-Chen Wu, Yu-Chia Chang, Hsien-Chin Liou, Jaso...
168
Voted
ACL2
2006
ACM
15 years 7 months ago
The ideal of verified software
Tony Hoare
ACL2
2006
ACM
15 years 9 months ago
ACL2 in DrScheme
Dale Vaillancourt, Rex L. Page, Matthias Felleisen