Sciweavers

949 search results - page 24 / 190
» exact 2008
Sort
View
CORR
2008
Springer
139views Education» more  CORR 2008»
14 years 10 months ago
Exact two-terminal reliability of some directed networks
Abstract-- The calculation of network reliability in a probabilistic context has long been an issue of practical and academic importance. Conventional approaches (determination of ...
Christian Tanguy
ATAL
2008
Springer
14 years 12 months ago
Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games
In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the follower or adversary) before the adv...
Praveen Paruchuri, Jonathan P. Pearce, Janusz Mare...
CORR
2008
Springer
93views Education» more  CORR 2008»
14 years 10 months ago
A computer verified, monadic, functional implementation of the integral
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
Russell O'Connor, Bas Spitters
TDSC
2008
116views more  TDSC 2008»
14 years 10 months ago
Practical Inference Control for Data Cubes
The fundamental problem for inference control in data cubes is how to efficiently calculate the lower and upper bounds for each cell value given the aggregations of cell values ove...
Haibing Lu, Yingjiu Li
TIT
2002
73views more  TIT 2002»
14 years 9 months ago
Quantum rate-distortion theory for memoryless sources
We formulate quantum rate-distortion theory in the most general setting where classical side information is included in the tradeoff. Using a natural distortion measure based on en...
Igor Devetak, Toby Berger