2181 search results - page 323 / 437 » The restriction scaffold problem |
IV
1999
IEEE
14 years 1 months ago
1999
IEEE
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
ERSHOV
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
EUROCOLT
1999
Springer
14 years 1 months ago
1999
Springer
Many settings of unsupervised learning can be viewed as quantization problems — the minimization of the expected quantization error subject to some restrictions. This allows the ...
IEEEPACT
1998
IEEE
14 years 1 months ago
1998
IEEE
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...