Sciweavers

4305 search results - page 229 / 861
» The Test of Time
Sort
View
TSP
2008
99views more  TSP 2008»
15 years 6 months ago
Low-Complexity Block Turbo Equalization for OFDM Systems in Time-Varying Channels
We propose low-complexity block turbo equalizers for orthogonal frequency-division multiplexing (OFDM) systems in time-varying channels. The presented work is based on a soft minim...
Kun Fang, Luca Rugini, Geert Leus
ENTCS
2002
107views more  ENTCS 2002»
15 years 6 months ago
Monitoring, Checking, and Steering of Real-Time Systems
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
TASLP
2010
118views more  TASLP 2010»
15 years 5 months ago
Time-Frequency Sparsity by Removing Perceptually Irrelevant Components Using a Simple Model of Simultaneous Masking
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
Péter Balázs, Bernhard Laback, Gerha...
JOCN
2010
117views more  JOCN 2010»
15 years 1 months ago
The Neural Substrates and Timing of Top-Down Processes during Coarse-to-Fine Categorization of Visual Scenes: A Combined fMRI an
Spatial frequencies in an image influence visual analysis across a distributed, hierarchically organized brain network. Low spatial frequency (LSF) information may rapidly reach h...
Carole Peyrin, Christoph M. Michel, Sophie Schwart...
ICFP
2009
ACM
16 years 1 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...