1511 search results - page 9 / 303 » Relational Parametricity for Computational Effects |
INTERSPEECH
2010
14 years 6 months ago
2010
The Lombard effect refers to the speech changes due to the immersion of the speaker in a noisy environment. Among these changes, studies have already reported acoustic modificatio...
109
click to vote
SIGDIAL
2010
14 years 9 months ago
2010
Temporal analysis of events is a central problem in computational models of discourse. However, correctly recognizing temporal aspects of events poses serious challenges. This pap...
109
click to vote
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
120
click to vote
TIP
2011
14 years 6 months ago
2011
Abstract—The purpose of this study is to investigate multiregion graph cut image partitioning via kernel mapping of the image data. The image data is transformed implicitly by a ...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....