Sciweavers

7393 search results - page 298 / 1479
» Synthesis-for-testability using transformations
Sort
View
ICTAI
2007
IEEE
15 years 10 months ago
Photometric Invariant Projective Registration Using ECC Maximization
The ability of an algorithm to accurately estimate the parameters of the geometric transformation which aligns two image profiles even in the presence of photometric distortions ...
Georgios D. Evangelidis, Emmanouil Z. Psarakis
AGTIVE
2007
Springer
15 years 10 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...
ICWE
2009
Springer
15 years 9 months ago
Conceptual Modeling of Multimedia Search Applications Using Rich Process Models
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
Alessandro Bozzon, Marco Brambilla, Piero Fraterna...
FPGA
2001
ACM
152views FPGA» more  FPGA 2001»
15 years 9 months ago
A pipelined architecture for partitioned DWT based lossy image compression using FPGA's
Discrete wavelet transformations (DWT) followed by embedded zerotree encoding is a very efficient technique for image compression [2, 5, 4]. However, the algorithms proposed in l...
Jörg Ritter, Paul Molitor
WAA
2001
Springer
15 years 9 months ago
Wavelet-Based Video Compression Using Long-Term Memory Motion-Compensated Prediction and Context-Based Adaptive Arithmetic Codin
In this paper, we present a novel design of a wavelet-based video coding algorithm within a conventional hybrid framework of temporal motion-compensated prediction and transform co...
Detlev Marpe, Thomas Wiegand, Hans L. Cycon