4355 search results - page 256 / 871 » From Interpretation to Compilation |
148
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
194
click to vote
JCB
2002
15 years 6 months ago
2002
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
174
click to vote
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
200
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper proposes a novel framework for automatic text categorization problem based on the kernel density classifier. The overall goal is to tackle two main issues in automatic ...
155
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Anticipating and characterizing damages in layered carbon fiberreinforced polymers is a challenging problem. Non-destructive evaluation using ultrasonic signals is a well-establi...