Sciweavers

374 search results - page 3 / 75
» acl 2009
Sort
View
PPDP
2009
Springer
13 years 11 months ago
Making induction manifest in modular ACL2
Carl Eastlund, Matthias Felleisen
ICEIS
2009
IEEE
13 years 11 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
13 years 2 months ago
Multi-Document Summarization using Sentence-based Topic Models
Dingding Wang, Shenghuo Zhu, Tao Li, Yihong Gong