Sciweavers

21342 search results - page 191 / 4269
» Structured language modeling
Sort
View
111
Voted
PLDI
2011
ACM
14 years 6 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav
106
Voted
PLDI
2011
ACM
14 years 6 months ago
Predicate abstraction and CEGAR for higher-order model checking
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
109
Voted
EMNLP
2011
14 years 3 months ago
A Joint Model for Extended Semantic Role Labeling
Vivek Srikumar, Dan Roth