1511 search results - page 7 / 303 » Relational Parametricity for Computational Effects |
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
124
click to vote
PG
2007
IEEE
15 years 6 months ago
2007
IEEE
Developable surfaces have many desired properties in manufacturing process. Since most existing CAD systems utilize parametric surfaces as the design primitive, there is a great d...
94
Voted
CIE
2008
Springer
15 years 1 months ago
2008
Springer
Consider the problem of calculating the fractal dimension of a set X consisting of all infinite sequences S over a finite alphabet that satisfy some given condition P on the asympt...
83
Voted
APSCC
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we develop a framework for measuring the level of protection offered by relation hiding systems. The framework provides a uniform way to define a variety of privacy ...
102
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
We describe a 2.5D layered representation for visual motion analysis. The representation provides a global interpretation of image motion in terms of several spatially localized fo...