679 search results - page 74 / 136 » codes 2002 |
79
Voted
ISCAS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this report, we propose a non-separable twodimensional (2D) Lossless Symmetric Short Kernel Filter (L-SSKF) for image compression. Filter characteristics of our proposed L-SSKF...
154
Voted
SSIAI
2002
IEEE
15 years 7 months ago
2002
IEEE
Motion-based segmentation of image sequences is an important problem of image analysis, with numerous applications to image coding and image manipulation. We present a novel algor...
111
Voted
WCRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Documentation generation is the process of creating the ocumentation at different levels of abstraction from the source code for a legacy system. The main goal is to help the stak...
103
click to vote
ENTCS
2002
15 years 2 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
120
click to vote
SIGPLAN
2002
15 years 2 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...