279 search results - page 33 / 56 » Type Reconstruction for SCI |
VLSM
2005
Springer
14 years 1 months ago
2005
Springer
Converting point samples and/or triangular meshes to a more compact spline representation for arbitrarily topology is both desirable and necessary for computer vision and computer ...
DGCI
2003
Springer
14 years 25 days ago
2003
Springer
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...
CADE
1992
Springer
13 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
SIGGRAPH
1993
ACM
13 years 11 months ago
1993
ACM
We present a method for solving the following problem: Given a set of data points scattered in three dimensions and an initial triangular mesh M0, produce a mesh M, of the same to...
HASKELL
2007
ACM
13 years 11 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...