3218 search results - page 142 / 644 » Timed Extensions for SDL |
272
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
—In this paper, we present a novel approach for super-resolved binarization of document images acquired by low quality devices. The algorithm tries to compute the super resolutio...
146
Voted
LATA
2012
Springer
14 years 4 days ago
2012
Springer
We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...
149
click to vote
ACL
2012
13 years 7 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
144
click to vote
ACL
2012
13 years 7 months ago
2012
The importance of inference rules to semantic applications has long been recognized and extensive work has been carried out to automatically acquire inference-rule resources. Howe...
254
Voted
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...