Sciweavers

374 search results - page 3 / 75
» acl 2009
Sort
View
PPDP
2009
Springer
14 years 10 days ago
Making induction manifest in modular ACL2
Carl Eastlund, Matthias Felleisen
ICEIS
2009
IEEE
14 years 13 days ago
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates
Sergio Pozo Hidalgo, Rafael M. Gasca, F. T. de la ...
ACL
2009
13 years 3 months ago
Multi-Document Summarization using Sentence-based Topic Models
Dingding Wang, Shenghuo Zhu, Tao Li, Yihong Gong