Sciweavers

2719 search results - page 284 / 544
» Exposing Application Alternatives
Sort
View
CDES
2009
87views Hardware» more  CDES 2009»
15 years 7 months ago
Delay-Insensitive Ternary Logic
This paper develops a delay-insensitive (DI) digital design paradigm that utilizes ternary logic as an alternative to dual-rail logic for encoding the DATA and NULL states. This ne...
Ravi Sankar Parameswaran Nair, Scott C. Smith, Jia...
GECCO
2008
Springer
135views Optimization» more  GECCO 2008»
15 years 7 months ago
Evolving sequence patterns for prediction of sub-cellular locations of eukaryotic proteins
A genetic algorithm (GA) is utilised to discover known and novel PROSITE-like sequence templates that can be used to classify the sub-cellular location of eukaryotic proteins. Whi...
Greg Paperin
BIRTHDAY
2010
Springer
15 years 6 months ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy
ICASSP
2010
IEEE
15 years 6 months ago
Particle filter adaptation for distributed sensors via set membership
A distributed set-membership-constrained particle filter (SMCPF) is developed for decentralized tracking applications using wireless sensor networks. Unlike existing PF alternati...
Shahrokh Farahmand, Stergios I. Roumeliotis, Georg...
164
Voted
ICASSP
2010
IEEE
15 years 6 months ago
Automatic detection of well sampled images via a new ringing measure
According to Shannon Sampling Theory, Fourier interpolation is the optimal way to reach subpixel accuracy from a properly-sampled digital image. However, for most images this inte...
Gwendoline Blanchet, Lionel Moisan, Bernard Roug&e...