3707 search results - page 137 / 742 » A Simple Technique for Self-Calibration |
IEEEMSP
2002
IEEE
15 years 3 months ago
2002
IEEE
— This paper presents a Rate-Distortion analysis for a simple horizon edge image model. A quadtree with anisotropy and rotation is performed on this kind of image, giving a toy m...
84
Voted
PEPM
1997
ACM
15 years 2 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
80
Voted
ISCAS
1994
IEEE
15 years 2 months ago
1994
IEEE
Based on symmetry of the maximally flat frequency response of a FIR notch filter the new design procedure is developed. The closed form solution provides direct computation of the...
102
click to vote
LICS
1992
IEEE
15 years 2 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...
CAISE
2003
Springer
15 years 1 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...