Sciweavers

1204 search results - page 164 / 241
» Hybrid Probabilistic Programs
Sort
View
187
Voted
ATAL
2006
Springer
15 years 11 months ago
Robust mechanisms for information elicitation
We study information elicitation mechanisms in which a principal agent attempts to elicit the private information of other agents using a carefully selected payment scheme based o...
Aviv Zohar, Jeffrey S. Rosenschein
184
Voted
ICALP
1995
Springer
15 years 11 months ago
New Collapse Consequences of NP Having Small Circuits
We show that if a self-reducible set has polynomial-size circuits, then it is low for the probabilistic class ZPP(NP). As a consequence we get a deeper collapse of the polynomial-...
Johannes Köbler, Osamu Watanabe
WSC
2004
15 years 8 months ago
Decision Tree Module Within Decision Support Simulation System
Decision trees are one of the most easy to use tools in decision analysis. Problems where decision tree branches are based on random variables have not received much attention. Th...
Mohamed Moussa, Janaka Y. Ruwanpura, George Jergea...
218
Voted
IOR
2007
82views more  IOR 2007»
15 years 7 months ago
Compensating for Failures with Flexible Servers
We consider the problem of maximizing capacity in a queueing network with flexible servers, where the classes and servers are subject to failure. We assume that the interarrival ...
Sigrún Andradóttir, Hayriye Ayhan, D...
220
Voted
LICS
2010
IEEE
15 years 5 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...