Sciweavers

9444 search results - page 4 / 1889
» The Language Model LMNtal
Sort
View
118
Voted
PLDI
2011
ACM
14 years 7 months ago
Predicate abstraction and CEGAR for higher-order model checking
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
112
Voted
EMNLP
2011
14 years 4 months ago
Probabilistic models of similarity in syntactic context
Diarmuid Ó Séaghdha, Anna Korhonen