
Stochastically Differentiable Probabilistic Programs
Probabilistic programs with mixed support (both continuous and discrete ...
read it

Stochastic probabilistic programs
We introduce the notion of a stochastic probabilistic program and presen...
read it

Warped Input Gaussian Processes for Time Series Forecasting
We introduce a Gaussian processbased model for handling of nonstationa...
read it

Deployable probabilistic programming
We propose design guidelines for a probabilistic programming facility su...
read it

Population Anomaly Detection through Deep Gaussianization
We introduce an algorithmic method for population anomaly detection base...
read it

Intrusions in Marked Renewal Processes
We present a probabilistic model of an intrusion in a marked renewal pro...
read it

A Planning Approach to Monitoring Behavior of Computer Programs
We describe a novel approach to monitoring high level behaviors using co...
read it

Process Monitoring on Sequences of System Call Count Vectors
We introduce a methodology for efficient monitoring of processes running...
read it

Session Analysis using Plan Recognition
This paper presents preliminary results of our work with a major financi...
read it

Maximum a Posteriori Estimation by Search in Probabilistic Programs
We introduce an approximate search algorithm for fast maximum a posterio...
read it

Path Finding under Uncertainty through Probabilistic Inference
We introduce a new approach to solving pathfinding problems under uncer...
read it

OutputSensitive Adaptive MetropolisHastings for Probabilistic Programs
We introduce an adaptive outputsensitive MetropolisHastings algorithm ...
read it

Rational Deployment of Multiple Heuristics in IDA*
Recent advances in metareasoning for search has shown its usefulness in ...
read it

Justifying and Improving MetaAgent ConflictBased Search
The MetaAgent ConflictBased Search (MACBS) is a recently proposed alg...
read it

Selecting Computations: Theory and Applications
Sequential decision problems are often approximately solvable by simulat...
read it

Towards Rational Deployment of Multiple Heuristics in A*
The obvious way to use several admissible heuristics in A* is to take th...
read it

VOIaware MCTS
UCT, a stateofthe art algorithm for Monte Carlo tree search (MCTS) in ...
read it

MCTS Based on Simple Regret
UCT, a stateofthe art algorithm for Monte Carlo tree search (MCTS) in ...
read it

Doing Better Than UCT: Rational Monte Carlo Sampling in Trees
UCT, a stateofthe art algorithm for Monte Carlo tree sampling (MCTS), ...
read it

Rational Deployment of CSP Heuristics
Heuristics are crucial tools in decreasing search effort in varied field...
read it

Rational Value of Information Estimation for Measurement Selection
Computing value of information (VOI) is a crucial task in various aspect...
read it

SemiMyopic Sensing Plans for Value Optimization
We consider the following sequential decision problem. Given a set of it...
read it
David Tolpin
is this you? claim profile