Sciweavers

2572 search results - page 107 / 515
» codes 2008
Sort
View
NECO
2008
129views more  NECO 2008»
15 years 3 months ago
Sparse Coding via Thresholding and Local Competition in Neural Circuits
While evidence indicates that neural systems may be employing sparse approximations to represent sensed stimuli, the mechanisms underlying this ability are not understood. We desc...
Christopher J. Rozell, Don H. Johnson, Richard G. ...
131
Voted
ASE
2008
102views more  ASE 2008»
15 years 3 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
145
Voted
TCOM
2010
111views more  TCOM 2010»
15 years 2 months ago
Design of irregular LDPC codes with optimized performance-complexity tradeoff
—The optimal performance-complexity tradeoff for error-correcting codes at rates strictly below the Shannon limit is a central question in coding theory. This paper proposes a nu...
Benjamin Smith, Masoud Ardakani, Wei Yu, Frank R. ...
115
Voted
TASLP
2002
65views more  TASLP 2002»
15 years 3 months ago
Low-bitrate distributed speech recognition for packet-based and wireless communication
In this paper, we present a framework for developing source coding, channel coding and decoding as well as erasure concealment techniques adapted for distributed (wireless or packe...
A. Bernard, Abeer Alwan
110
Voted
TISSEC
2002
75views more  TISSEC 2002»
15 years 3 months ago
Termination in language-based systems
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
Algis Rudys, Dan S. Wallach