19798 search results - page 3875 / 3960 » Is Structural Subtyping Useful |
PASTE
2010
ACM
14 years 3 days ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...
EUROSYS
2007
ACM
13 years 12 months ago
2007
ACM
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While exist...
DAS
2008
Springer
13 years 12 months ago
2008
Springer
We describe experimental results for unsupervised recognition of the textual contents of book-images using fully automatic mutual-entropy-based model adaptation. Each experiment s...
DOCENG
2008
ACM
13 years 12 months ago
2008
ACM
As XML has emerged as a data representation format and as great quantities of data have been stored in the XML format, XML document design has become an important and evident issu...
ESOP
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...