2340 search results - page 138 / 468 » Second quarter 2008 |
179
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
171
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
156
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
169
click to vote
CG
2008
Springer
15 years 8 months ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...
168
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
Coordinate gradient learning is motivated by the problem of variable selection and determining variable covariation. In this paper we propose a novel unifying framework for coordi...