Sciweavers

337 search results - page 14 / 68
» JPEG2000 image coding system theory and applications
Sort
View
CIE
2007
Springer
15 years 3 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
HOTOS
1997
IEEE
15 years 1 months ago
Run-Time Code Generation as a Central System Service
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
Michael Franz
72
Voted
SIGCOMM
2010
ACM
14 years 9 months ago
Efficient error estimating coding: feasibility and applications
Motivated by recent emerging systems that can leverage partially correct packets in wireless networks, this paper investigates the novel concept of error estimating codes (EEC). W...
Binbin Chen, Ziling Zhou, Yuda Zhao, Haifeng Yu
MM
2005
ACM
250views Multimedia» more  MM 2005»
15 years 3 months ago
An object-based video coding framework for video sequences obtained from static cameras
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
Asaad Hakeem, Khurram Shafique, Mubarak Shah
SSIAI
2002
IEEE
15 years 2 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...