2372 search results - page 56 / 475 » is 2012 |
187
click to vote
JMLR
2012
13 years 8 months ago
2012
We propose a simple and efficient modification of the popular DBSCAN clustering algorithm. This modification is able to detect the most interesting vertical threshold level in a...
165
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture...
160
click to vote
ACL
2012
13 years 8 months ago
2012
We propose a novel heuristic algorithm for Cube Pruning running in linear time in the beam size. Empirically, we show a gain in running time of a standard machine translation syst...
170
click to vote
ACL
2012
13 years 8 months ago
2012
Blogs and forums are widely adopted by online communities to debate about various issues. However, a user that wants to cut in on a debate may experience some difficulties in ext...
142
click to vote
ACL
2012
13 years 8 months ago
2012
This paper presents a higher-order model for constituent parsing aimed at utilizing more local structural context to decide the score of a grammar rule instance in a parse tree. E...