1090 search results - page 80 / 218 » Resource-Bounded Partial Evaluation |
168
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
EVOW
2007
Springer
15 years 4 months ago
2007
Springer
We describe a novel method of evolutionary visual learning that uses generative approach for assessing learner’s ability to recognize image contents. Each learner, implemented as...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
PADL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...