1416 search results - page 127 / 284 » An Exact Interpretation of While |
104
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Spectrum sensing, which aims at detecting spectrum holes, is the precondition for the implementation of cognitive radio. Collaborative spectrum sensing among the cognitive radio n...
101
Voted
CORR
2007
Springer
15 years 23 days ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
99
Voted
ECCC
2007
15 years 22 days ago
2007
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...
103
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We study a problem of quick detection of top-k Personalized PageRank lists. This problem has a number of important applications such as finding local cuts in large graphs, estima...
176
Voted
EXACT
2009
14 years 10 months ago
2009
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...