1953 search results - page 178 / 391 » Embedded Probabilistic Programming |
182
click to vote
ICDCIT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
170
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
198
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
169
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
153
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...