Search
Now showing items 11-13 of 13
Typesafety for Explicitly-Coded Probabilistic Inference Procedures
(2017-11-09)
Researchers have recently proposed several systems that ease the process of developing Bayesian probabilistic inference algorithms. These include systems for automatic inference algorithm synthesis as well as stronger ...
Multi-Unit Auction Revenue with Possibilistic Beliefs
(2017-06-05)
The revenue of traditional auction mechanisms is benchmarked solely against the players' own valuations, despite the fact that they may also have valuable beliefs about each other's valuations. Not much is known about ...
Inference and Regeneration of Programs that Manipulate Relational Databases
(2017-08-29)
We present a new technique that infers models of programs that manipulate relational databases. This technique generates test databases and input commands, runs the program, then observes the resulting outputs and updated ...