1953 search results - page 5 / 391 » Embedded Probabilistic Programming |
MPC
2004
Springer
15 years 3 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
106
click to vote
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
RTCSA
1998
IEEE
15 years 1 months ago
1998
IEEE
107
Voted
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
84
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...