494 search results - page 61 / 99 » Probabilistic Programming in Anglican |
86
Voted
CF
2005
ACM
15 years 4 days ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
ICML
2008
IEEE
15 years 11 months ago
2008
IEEE
In inductive logic programming, subsumption is a widely used coverage test. Unfortunately, testing -subsumption is NP-complete, which represents a crucial efficiency bottleneck fo...
RECOMB
2001
Springer
15 years 10 months ago
2001
Springer
Hidden Markov models (HMMs) have been successfully applied to a variety of problems in molecular biology, ranging from alignment problems to gene nding and annotation. Alignment p...
102
click to vote
QSIC
2009
IEEE
15 years 4 months ago
2009
IEEE
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
UM
2009
Springer
15 years 4 months ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...