Sciweavers

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