967 search results - page 132 / 194 » Probabilistic Predicative Programming |
135
click to vote
FUIN
2010
15 years 1 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...
142
click to vote
EMSOFT
2005
Springer
15 years 8 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...
162
Voted
CORR
2011
Springer
14 years 6 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 ...
138
Voted
FASE
2006
Springer
15 years 6 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...
167
Voted
BMCBI
2002
15 years 2 months ago
2002
Background: Covariance models (CMs) are probabilistic models of RNA secondary structure, analogous to profile hidden Markov models of linear sequence. The dynamic programming algo...