1511 search results - page 20 / 303 » Relational Parametricity for Computational Effects |
170
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
154
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
197
click to vote
CAD
1998
Springer
15 years 3 months ago
1998
Springer
Developable surfaces are modelled with pieces of right circular cones. These cone spline surfaces are well-suited for applications: They possess degree two parametric and implicit...
130
click to vote
JSC
2008
15 years 2 months ago
2008
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...
181
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
We present an approach to tracking human activities in a monocular video. We model the human body by decomposing it into torso and limbs and use simple 3D shapes to approximate th...