3820 search results - page 96 / 764 » Bounded Model Debugging |
129
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
We study time delay estimation (TDE) on parallel channels with flat fading. Several models for the channel gains are considered, and for each case we present the the maximum like...
109
Voted
UAI
2008
15 years 3 months ago
2008
This paper develops a measure for bounding the performance of AND/OR search algorithms for solving a variety of queries over graphical models. We show how drawing a connection to ...
102
click to vote
ANOR
2007
15 years 2 months ago
2007
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today - t...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents new lower and upper bounds for the optimal compression of binary prefix codes in terms of the most probable input symbol, where compression efficiency is determ...