2272 search results - page 356 / 455 » A Calculus for |
133
click to vote
MCS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Support Kernel Machine (SKM) and the Relevance Kernel Machine (RKM) are two principles for selectively combining objectrepresentation modalities of different kinds b...
115
Voted
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
148
click to vote
TVCG
2010
15 years 2 months ago
2010
—In this paper, we present a novel method for texture mapping of closed surfaces. Our method is based on the technique of optimal mass transport (also known as the “earth-mover...
120
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
124
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...