1510 search results - page 145 / 302 » Upper Probabilities and Additivity |
131
click to vote
ICWL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. To enable an online virtual university, a learning environment covering the entire spectrum of the learning and management process is required. However, constructing such...
135
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
162
click to vote
ECRTS
2002
IEEE
15 years 9 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
121
click to vote
NDSS
2002
IEEE
15 years 9 months ago
2002
IEEE
There have been a number of protocols proposed for anonymous network communication. In this paper we investigate attacks by corrupt group members that degrade the anonymity of eac...
127
click to vote
LATA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...