CSAIL Digital Archive: Recent submissions
Now showing items 40-42 of 807
-
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 ... -
The Interval Programming Model Solution Algorithm Experimentation Tools and Results
(2017-09-01)Interval programming (IvP) is model for representing multi-objective optimization problems along with a set of solution algorithms. This paper describes a set of IvP solution experiments run over randomly generated problem ... -
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 ...
