972 search results - page 17 / 195 » Intersection types and computational effects |
FLOPS
1999
Springer
13 years 12 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
In this contribution, we are concerned with the detection and re ned localization of 3D point landmarks. We propose multi-step di erential procedures for subvoxel localization of 3...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
We have previously proposed a diffusion-type flow control mechanism as a solution for severely time-sensitive flow control required for high-speed networks. In this mechanism, each...
CG
1999
Springer
13 years 7 months ago
1999
Springer
A convexhull H(S)of a 3Dset S is rarely used to accelerateinterferencedetection or as a substitutefor rendering small projection of S,because it typically has too many faces. An a...
DLT
2009
13 years 5 months ago
2009
Abstract. We improve on some recent results on lower bounds for conversion problems for regular expressions. In particular we consider the conversion of planar deterministic finite...