668 search results - page 70 / 134 » Implementing and Evaluating Automatic Checkpointing |
102
Voted
ACL
2008
15 years 4 months ago
2008
Statistical parsing of noun phrase (NP) structure has been hampered by a lack of goldstandard data. This is a significant problem for CCGbank, where binary branching NP derivation...
NAACL
2003
15 years 4 months ago
2003
In this paper, we introduce a generative probabilistic optical character recognition (OCR) model that describes an end-to-end process in the noisy channel framework, progressing f...
175
Voted
USENIX
2003
15 years 4 months ago
2003
The problem of automatically filtering out spam e-mail using a classifier based on machine learning methods is of great recent interest. This paper gives an introduction to mach...
96
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
125
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...