Sciweavers

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