Sciweavers

1957 search results - page 243 / 392
» Multimedia Analysis and Synthesis
Sort
View
ICIP
2006
IEEE
16 years 8 months ago
Perfect Reconstruction AM-FM Image Models
For the first time, we present an AM-FM image model that, in addition to being remarkably consistent with human visual perception, also provides perfect reconstruction of the imag...
Roy A. Sivley, Joseph P. Havlicek
FM
2009
Springer
155views Formal Methods» more  FM 2009»
16 years 1 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
16 years 27 days ago
Incremental Criticality and Yield Gradients
— Criticality and yield gradients are two crucial diagnostic metrics obtained from Statistical Static Timing Analysis (SSTA). They provide valuable information to guide timing op...
Jinjun Xiong, Vladimir Zolotov, Chandu Visweswaria...
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
16 years 18 days ago
On the behavioral diversity of random programs
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
Moshe Looks
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
16 years 19 hour ago
A mixed analog-digital hybrid for speech enhancement purposes
Abstract— This paper presents and evaluates a hybrid implementation of a low complexity algorithm for speech enhancement, the Adaptive Gain Equalizer (AGE). The AGE is a subband ...
Benny Sallberg, Mattias Dahl, Henrik Akesson, Ingv...