6201 search results - page 250 / 1241 » Implementation of Axiomatic Language |
182
click to vote
AMTA
1998
Springer
15 years 9 months ago
1998
Springer
Cross-language retrieval systems use queries in one natural language to guide retrieval of documents that might be written in another. Acquisition and representation of translation...
140
click to vote
SIGIR
1998
ACM
15 years 9 months ago
1998
ACM
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
154
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
155
click to vote
AGP
1995
IEEE
15 years 9 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
140
click to vote
LREC
2010
15 years 7 months ago
2010
We introduce CCASH (Cost-Conscious Annotation Supervised by Humans), an extensible web application framework for cost-efficient annotation. CCASH provides a framework in which cos...