Sciweavers

361 search results - page 70 / 73
» Automatic Generation of Some Results in Finite Algebra
Sort
View
VCIP
2003
113views Communications» more  VCIP 2003»
13 years 9 months ago
Encoding strategies for realizing MPEG-4 universal scalable video coding
The universal scalability, which integrates different types of scalabilities and consequently provides a large scaling range for each codec parameter, is of high interests to the ...
Yi-Shin Tung, Jin-Hau Kuo, Ja-Ling Wu, Wen-Huang C...
ET
2002
115views more  ET 2002»
13 years 8 months ago
CAS-BUS: A Test Access Mechanism and a Toolbox Environment for Core-Based System Chip Testing
As System on a Chip (SoC) testing faces new challenges, some new test architectures must be developed. This paper describes a Test Access Mechanism (TAM) named CASBUS that solves ...
Mounir Benabdenbi, Walid Maroufi, Meryem Marzouki
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...

Publication
207views
14 years 6 months ago
Incorporating Higher-Order Cues in Image Colorization
We consider the colorization problem of grayscale images when some pixels, called scribbles, with initial colors are given. In this paper, we propose a new multi-layer graph model ...
Tae Hoon Kim (Seoul National University), Kyoung M...
CORR
2007
Springer
170views Education» more  CORR 2007»
13 years 8 months ago
Animation of virtual mannequins, robot-like simulation or motion captures
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
Damien Chablat