3820 search results - page 191 / 764 » Bounded Model Debugging |
114
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the problem of secure communication over parallel relay channel in the presence of a passive eavesdropper. We consider a four terminal relay-eavesdropper channel wh...
252
click to vote
STOC
2012
ACM
13 years 5 months ago
2012
ACM
In this paper we develop a new technique for proving lower bounds on the update time and query time of dynamic data structures in the cell probe model. With this technique, we pro...
114
click to vote
FOCS
2008
IEEE
15 years 9 months ago
2008
IEEE
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
141
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
A strong direct product theorem (SDPT) states that solving n instances of a problem requires ˝.n/ times the resources for a single instance, even to achieve success probability 2 ...
113
click to vote
WIAS
2010
14 years 10 months ago
2010
Modeling the perceived behaviors of other agents improves the performance of an agent in multiagent interactions. We utilize the language of interactive influence diagrams to mode...