1953 search results - page 185 / 391 » Embedded Probabilistic Programming |
138
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
161
Voted
CP
2006
Springer
15 years 9 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...
157
click to vote
ML
2006
ACM
15 years 5 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...
144
click to vote
FORMATS
2010
Springer
15 years 3 months 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...
151
Voted
IH
2007
Springer
15 years 11 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...