1204 search results - page 147 / 241 » Hybrid Probabilistic Programs |
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...
130
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...
115
Voted
FORMATS
2010
Springer
15 years 16 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...
119
click to vote
IH
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
124
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
A boosting algorithm based on cellular genetic programming to build an ensemble of predictors is proposed. The method evolves a population of trees for a fixed number of rounds an...