13383 search results - page 233 / 2677 » Abstractions from proofs |
175
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Preserving historic recording on gramophone records is an important task because the traditional record play back system damages/wears out records eventually. We present an optica...
123
click to vote
CCCG
2003
15 years 8 months ago
2003
We address a question posed by Sibley and Wagon. They proved that rhombic Penrose tilings in the plane can be 3colored, but a key lemma of their proof fails in the natural 3D gene...
159
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
This article proposes a solution of the Lambertian shape from shading (SFS) problem in the case of a pinhole camera model (performing a perspective projection). Our approach is ba...
187
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We describe an algorithm for converting linear support vector machines and any other arbitrary hyperplane-based linear classifiers into a set of non-overlapping rules that, unlike...
161
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...