
-
Bayesian Policy Search for Stochastic Domains
AI planning can be cast as inference in probabilistic models, and probab...
read it
-
Probabilistic Programs with Stochastic Conditioning
We tackle the problem of conditioning probabilistic programs on distribu...
read it
-
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 process-based model for handling of non-stationa...
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 path-finding problems under uncer...
read it
-
Output-Sensitive Adaptive Metropolis-Hastings for Probabilistic Programs
We introduce an adaptive output-sensitive Metropolis-Hastings 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 Meta-Agent Conflict-Based Search
The Meta-Agent Conflict-Based Search (MA-CBS) 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
-
VOI-aware MCTS
UCT, a state-of-the art algorithm for Monte Carlo tree search (MCTS) in ...
read it
-
MCTS Based on Simple Regret
UCT, a state-of-the art algorithm for Monte Carlo tree search (MCTS) in ...
read it
-
Doing Better Than UCT: Rational Monte Carlo Sampling in Trees
UCT, a state-of-the 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
-
Semi-Myopic Sensing Plans for Value Optimization
We consider the following sequential decision problem. Given a set of it...
read it