Sciweavers

679 search results - page 74 / 136
» codes 2002
Sort
View
ISCAS
2002
IEEE
91views Hardware» more  ISCAS 2002»
15 years 4 months ago
Lossless/lossy image compression based on non-separable two-dimensional L-SSKF
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...
Somchart Chokchaitam, Masahiro Iwahashi
SSIAI
2002
IEEE
15 years 4 months ago
Spatio-Temporal Motion Segmentation via Level Set Partial Differential Equations
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...
Abdol-Reza Mansouri, Amar Mitiche, Rosario El-Fegh...
WCRE
2002
IEEE
15 years 4 months ago
Generation of Architectural Documentation Using XML
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...
Claudio Riva, Yaojin Yang
ENTCS
2002
77views more  ENTCS 2002»
14 years 11 months ago
The variety of variables in computer-aided real-time programming
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...
Luke Wildman, Colin J. Fidge
SIGPLAN
2002
14 years 11 months ago
Template meta-programming for Haskell
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...
Tim Sheard, Simon L. Peyton Jones