1511 search results - page 107 / 303 » Relational Parametricity for Computational Effects |
127
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
127
click to vote
CGI
1996
IEEE
15 years 8 months ago
1996
IEEE
Image morphing has been the subject of much attention in recent years. It has proven to be a powerful visual effects tool in film and television, depicting the fluid transformatio...
140
click to vote
ECCV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we show that it is possible to calibrate a camera using just a flat, textureless Lambertian surface and constant illumination. This is done using the effec...
123
Voted
RTAS
2000
IEEE
15 years 8 months ago
2000
IEEE
Policing of incoming packets can produce very high load in worst-case situations on a receiving computer. In realtime systems, resources must be allocated for such worstcase situa...
137
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...