1224 search results - page 231 / 245 » Theory decision by decomposition |
148
click to vote
FAW
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
185
click to vote
TARK
2007
Springer
16 years 8 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
158
click to vote
ICAC
2006
IEEE
16 years 6 days ago
2006
IEEE
— Reinforcement Learning (RL) provides a promising new approach to systems performance management that differs radically from standard queuing-theoretic approaches making use of ...
174
click to vote
INFOCOM
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— This paper focuses on the Delay/Fault-Tolerant Mobile Sensor Network (DFT-MSN) for pervasive information gathering. We develop simple and efficient data delivery schem...
173
click to vote
ASPLOS
2006
ACM
16 years 4 days ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...