43264 search results - page 8348 / 8653 » Comparing models of computation |
ESOP
2012
Springer
13 years 6 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
107
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
118
click to vote
JMLR
2012
13 years 1 months ago
2012
The expectation maximization (EM) algorithm is a popular algorithm for parameter estimation in models with hidden variables. However, the algorithm has several non-trivial limitat...
101
click to vote
ICDE
2012
IEEE
13 years 1 months ago
2012
IEEE
—Fuzzy/similarity joins have been widely studied in the research community and extensively used in real-world applications. This paper proposes and evaluates several algorithms f...
106
click to vote
TOG
2012
13 years 1 months ago
2012
Interactive, task-guided character controllers must be agile and responsive to user input, while retaining the flexibility to be readily authored and modified by the designer. C...