967 search results - page 137 / 194 » Probabilistic Predicative Programming |
129
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
The paper presents a method for generating solutions of a constraint satisfaction problem (CSP) uniformly at random. The main idea is to express the CSP as a factored probability d...
129
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
113
click to vote
FORMATS
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
111
click to vote
KI
2001
Springer
15 years 7 months ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
114
click to vote
ICANN
1997
Springer
15 years 6 months ago
1997
Springer
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy but may behave differently due to position-dependent inputs. All...