Search Sciweavers | Sciweavers

27119 search results - page 182 / 5424

» Languages

108

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 6 months ago

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

117

click to vote

PLDI
2011
ACM

203views Programming Languages» more PLDI 2011»

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

14 years 6 months ago

Download faculty.ist.psu.edu

Qiang Zeng, Dinghao Wu, Peng Liu

claim paper

Read More »

113

click to vote

POPL
2011
ACM

191views Programming Languages» more POPL 2011»

Learning minimal abstractions

14 years 6 months ago

Download www.cs.tau.ac.il

Percy Liang, Omer Tripp, Mayur Naik

claim paper

Read More »

112

click to vote

EMNLP
2011

130views Natural Language Processing» more EMNLP 2011»

Large-Scale Noun Compound Interpretation Using Bootstrapping and the Web as a Corpus

14 years 3 months ago

Download aclweb.org

Su Nam Kim, Preslav Nakov

claim paper

Read More »

105

Voted

EMNLP
2011

150views Natural Language Processing» more EMNLP 2011»

Multilayer Sequence Labeling

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers