Sciweavers

9507 search results - page 20 / 1902
» Time-based language models
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 6 months ago
Probabilistic models of similarity in syntactic context
Diarmuid Ó Séaghdha, Anna Korhonen