Sciweavers

1689 search results - page 66 / 338
» On Natural Non-dcpo Domains
Sort
View
TIP
2008
84views more  TIP 2008»
15 years 6 months ago
Rate Bounds on SSIM Index of Quantized Images
Abstract--In this paper, we derive bounds on the structural similarity (SSIM) index as a function of quantization rate for fixed-rate uniform quantization of image discrete cosine ...
Sumohana S. Channappayya, Alan C. Bovik, Robert W....
TIP
2010
112views more  TIP 2010»
15 years 4 months ago
Variable Density Compressed Image Sampling
Compressed sensing (CS) provides an efficient way to acquire and reconstruct natural images from a reduced number of linear projection measurements at sub-Nyquist sampling rates....
Zhongmin Wang, Gonzalo R. Arce
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 9 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
MODELS
2007
Springer
16 years 8 days ago
Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
Michael Hafner, Mukhtiar Memon, Muhammad Alam
FDL
2006
IEEE
16 years 6 days ago
SystemC-A Modeling of an Automotive Seating Vibration Isolation System
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...
Hessa Al-Junaid, Tom J. Kazmierski, Leran Wang