1650 search results - page 117 / 330 » How to Turn the Page |
171
click to vote
NAACL
2010
15 years 4 months ago
2010
We present results from a range of experiments on article and preposition error correction for non-native speakers of English. We first compare a language model and errorspecific ...
150
click to vote
NAACL
2010
15 years 4 months ago
2010
We show how features can easily be added to standard generative models for unsupervised learning, without requiring complex new training methods. In particular, each component mul...
168
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Despite large volumes of data and many types of metrics, software projects continue to be difficult to predict and risky to conduct. In this paper we propose software analytics wh...
176
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
197
click to vote
DCC
2011
IEEE
15 years 1 months ago
2011
IEEE
In this paper, we use linear approximations of the addition modulo 2n of three n-bit integers to identify linear approximations of g1, g2, the feedback functions of HC-128. This, i...