Sciweavers

494 search results - page 51 / 99
» Probabilistic Programming in Anglican
Sort
View
UM
2007
Springer
15 years 4 months ago
Mobile Opportunistic Planning: Methods and Models
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
Eric Horvitz, Paul Koch, Muru Subramani
83
Voted
CP
2005
Springer
15 years 3 months ago
Uncertainty in Soft Constraint Problems
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
Maria Silvia Pini, Francesca Rossi
ICALP
2005
Springer
15 years 3 months ago
Noisy Turing Machines
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
Eugene Asarin, Pieter Collins
MOZ
2004
Springer
15 years 3 months ago
Playing the Minesweeper with Constraints
We present the design and implementation of a Minesweeper game, augmented with a digital assistant. The assistant uses contraint programming techniques to help the player, and is a...
Raphaël Collet
IJCAI
2007
14 years 11 months ago
Inside-Outside Probability Computation for Belief Propagation
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
Taisuke Sato