Sciweavers

2600 search results - page 239 / 520
» Clustering with or without the Approximation
Sort
View
CISS
2007
IEEE
16 years 29 days ago
Analog Coding for Delay-Limited Applications
— In this paper, we consider the problem of sending an analog source over an additive white Gaussian noise channel. The traditional analog coding schemes suffer from the threshol...
Mahmoud Taherzadeh, Amir K. Khandani
ICC
2007
IEEE
16 years 29 days ago
UWB Based Positioning in Multipath Channels: CRBs for AOA and for Hybrid TOA-AOA Based Methods
— In this paper we consider UWB (ultra wide band) based positioning. We derive the CRBs (Cramer Rao bound) for AOA (angle of arrival) and for hybrid method using both AOA and TOA...
Achraf Mallat, Jérôme Louveaux, Luc V...
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 10 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ACL
1998
15 years 8 months ago
Japanese OCR Error Correction using Character Shape Similarity and Statistical Language Model
We present a novel OCR error correction method for languages without word delimiters that have a large character set, such as Japanese and Chinese. It consists of a statistical OC...
Masaaki Nagata
IJCAI
1989
15 years 7 months ago
Maximum Entropy in Nilsson's Probabilistic Logic
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
Thomas B. Kane