1592 search results - page 227 / 319 » On the Equality of Probabilistic Terms |
167
click to vote
HYBRID
2010
Springer
16 years 24 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
174
click to vote
GLOBECOM
2007
IEEE
16 years 19 days ago
2007
IEEE
Many of the routing protocols that have been designed for wireless ad-hoc networks focus on energy-efficiency and guaranteeing high throughput in a non-adversarial setting. Howev...
141
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
We are interested in domains where an agent repeatedly negotiates with other agents over shared resources where the demand or utility to the agent for the shared resources vary ov...
166
click to vote
ATAL
2007
Springer
16 years 15 days ago
2007
Springer
In this paper we present an advanced bidding agent that participates in first-price sealed bid auctions to allocate advertising space on BluScreen – an experimental public adve...
160
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...