3680 search results - page 126 / 736 » cases 2010 |
175
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
132
click to vote
ECIR
2010
Springer
15 years 7 months ago
2010
Springer
This paper evaluates the potential impact of explicit phrases on retrieval quality through a case study with the TREC Terabyte benchmark. It compares the performance of user- and s...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The capacity region of a broadcast channel consisting of k-receivers that lie in a less noisy sequence is an open problem, when k 3. We prove that superposition coding is indeed ...
144
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this article, we argue that a program transformation approach is a good way to solve the tyranny of the primary decomposition. We illustrate our transformation-based approach o...
167
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues...