Sciweavers

4880 search results - page 546 / 976
» Manuals as Structured Programs
Sort
View
181
Voted
ICFP
1999
ACM
15 years 11 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
ERSHOV
1999
Springer
15 years 11 months ago
Twin - A Design Pattern for Modeling Multiple Inheritance
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...
Hanspeter Mössenböck
AISC
2008
Springer
15 years 9 months ago
High-Level Theories
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
Jacques Carette, William M. Farmer
ACL
2007
15 years 8 months ago
Semantic enrichment of journal articles using chemical named entity recognition
We describe the semantic enrichment of journal articles with chemical structures and biomedical ontology terms using Oscar, a program for chemical named entity recognition (NER). ...
Colin R. Batchelor, Peter T. Corbett
ACL
2006
15 years 8 months ago
Inducing Word Alignments with Bilexical Synchronous Trees
This paper compares different bilexical tree-based models for bilingual alignment. EM training for the new model benefits from the dynamic programming "hook trick". The ...
Hao Zhang, Daniel Gildea