Sciweavers

3984 search results - page 265 / 797
» A Model-Driven Transformation Method
Sort
View
SEMWEB
2007
Springer
15 years 11 months ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen
ACCV
2006
Springer
15 years 10 months ago
An Efficient Real Time Low Bit Rate Video Codec
The implementation of a codec for real time applications such as video-conferencing at low bit rates is discussed. The discrete cosine transform has been used for compression, both...
Shikha Tripathi, R. Vikas, R. C. Jain
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 10 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
CIARP
2003
Springer
15 years 10 months ago
Multi-channel Reconstruction of Video Sequences from Low-Resolution and Compressed Observations
A framework for recovering high-resolution video sequences from sub-sampled and compressed observations is presented. Compression schemes that describe a video sequence through a c...
Luis D. Alvarez, Rafael Molina, Aggelos K. Katsagg...
99
Voted
ICCAD
1996
IEEE
95views Hardware» more  ICCAD 1996»
15 years 9 months ago
Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs
A number of methods are presentedfor highly efficient calculation of substratecurrenttransport. A three-dimensionalGreen'sFunction based substrate representation, in combinat...
Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sang...