1953 search results - page 5 / 391 » Embedded Probabilistic Programming |
MPC
2004
Springer
15 years 6 months ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
132
Voted
EMSOFT
2005
Springer
15 years 6 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...
73
Voted
RTCSA
1998
IEEE
15 years 5 months ago
1998
IEEE
145
Voted
ICLP
2005
Springer
15 years 6 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...
112
Voted
APLAS
2007
ACM
15 years 5 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...