Sciweavers

4870 search results - page 727 / 974
» Construction of Wavelets and Applications
Sort
View
ISCAS
2003
IEEE
85views Hardware» more  ISCAS 2003»
15 years 12 months ago
A robust global motion estimation scheme for sprite coding
A new global motion estimation technique for sprite coding is presented in this paper. The proposed system manages to accurately register frames to a sprite without referencing th...
Hoi-Kok Cheung, Wan-Chi Siu
IV
2003
IEEE
183views Visualization» more  IV 2003»
15 years 12 months ago
Visualisation of RDF(S)-based Information
As Resource Description Framework (RDF) reaches maturity, there is an increasing need for tools that support it. A common and natural representation for RDF data is a directed lab...
Alexandru Telea, Flavius Frasincar, Geert-Jan Houb...
IWPC
2003
IEEE
15 years 12 months ago
How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
Paul Klint
183
Voted
KBSE
2003
IEEE
15 years 12 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook
LICS
2003
IEEE
15 years 12 months ago
Polynomial-time Algorithms from Ineffective Proofs
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
Paulo Oliva