492 search results - page 37 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
Novices find it difficult to understand and use compiler error messages. It is useful to refine this observation and study the effect of different message styles on how well and q...
MKM
2009
Springer
15 years 5 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
110
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
This article proposes a novel similarity measure between
vector sequences. Recently, a model-based approach was
introduced to address this issue. It consists in modeling
each se...
103
click to vote
DAC
2004
ACM
15 years 2 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...