Sciweavers

400 search results - page 20 / 80
» codes 2001
Sort
View
ICIP
2001
IEEE
15 years 11 months ago
The orientation adaptive lapped biorthogonal transform for efficient image coding
A lapped biorthogonal transform adapted for local directionality of an image is proposed. The proposed transform consists of overlapping basis functions and non-overlapping basis ...
Toshihsa Tanaka, Y. Yamashita
SIGSOFT
2001
ACM
15 years 10 months ago
Using aspectC to improve the modularity of path-specific customization in operating system code
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
Yvonne Coady, Gregor Kiczales, Michael J. Feeley, ...
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 1 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
ESANN
2001
14 years 11 months ago
Coding the outputs of multilayer feedforward
In this paper, we present an empirical comparison among four different schemes of coding the outputs of a Multilayer Feedforward networks. Results are obtained for eight different ...
Mercedes Fernández-Redondo, Carlos Hern&aac...
CODES
2001
IEEE
15 years 1 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung