Sciweavers

10608 search results - page 482 / 2122
» Complexity of O'Hara's Algorithm
Sort
View
130
Voted
JAPLL
2006
97views more  JAPLL 2006»
15 years 5 months ago
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Martin Lange
137
Voted
TCOM
2010
65views more  TCOM 2010»
14 years 11 months ago
Evaluation of the distance spectrum of variable-length finite-state codes
The class of variable-length finite-state joint source-channel codes is defined and a polynomial complexity algorithm for the evaluation of their distance spectrum presented. Issu...
Claudio Weidmann, Michel Kieffer
ICASSP
2011
IEEE
14 years 8 months ago
Incremental-cooperative strategies in combination of adaptive filters
A new topology for combination of adaptive filters is proposed. Based on incremental strategies, the standard convexly combined parallel-independent filters are rearranged into ...
Wilder B. Lopes, Cassio G. Lopes
WAOA
2004
Springer
112views Algorithms» more  WAOA 2004»
15 years 10 months ago
Online Bin Packing with Resource Augmentation
In competitive analysis, we usually do not put any restrictions on the computational complexity of online algorithms, although efficient algorithms are preferred. Thus if such an...
Leah Epstein, Rob van Stee
124
Voted
VTC
2006
IEEE
100views Communications» more  VTC 2006»
15 years 11 months ago
List Stack Detection with Reduced Search Space for MIMO Communication Systems
The interest in near-ML detection algorithms for Multiple-Input/lMultiple-Output (MIMO) systems have always been high due to their drastic performance gain over suboptimal algorith...
Woon Hau Chin, Sumei Sun