Sciweavers

1920 search results - page 152 / 384
» The Range Constraint: Algorithms and Implementation
Sort
View
ISCAS
2011
IEEE
278views Hardware» more  ISCAS 2011»
14 years 7 months ago
A programmable axonal propagation delay circuit for time-delay spiking neural networks
— we present an implementation of a programmable axonal propagation delay circuit which uses one first-order logdomain low-pass filter. Delays may be programmed in the 550ms rang...
Runchun Wang, Craig T. Jin, Alistair McEwan, Andr&...
DATE
2006
IEEE
219views Hardware» more  DATE 2006»
15 years 10 months ago
Low cost LDPC decoder for DVB-S2
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) algorithm is gaining increased attention in communication standards and literature. The ne...
John Dielissen, Andries Hekstra, Vincent Berg
137
Voted
VMCAI
2007
Springer
15 years 10 months ago
Invariant Synthesis for Combined Theories
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
CIMCA
2006
IEEE
15 years 10 months ago
Constrained Circular Hidden Markov Models for Recognizing Deformed Shapes
In this paper, we analyse the properties of the standard circular hidden Markov model (HMM) on 2D shape recognition. We point out the limitations of the circular HMMs and further ...
Jinhai Cai
SIGMOD
2011
ACM
205views Database» more  SIGMOD 2011»
14 years 7 months ago
Interaction between record matching and data repairing
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
Wenfei Fan, Jianzhong Li, Shuai Ma, Nan Tang, Weny...