1953 search results - page 5 / 391 » Embedded Probabilistic Programming |
MPC
2004
Springer
14 years 26 days ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
EMSOFT
2005
Springer
14 years 1 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
13 years 11 months ago
1998
IEEE
ICLP
2005
Springer
14 years 1 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...
APLAS
2007
ACM
13 years 11 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...