2362 search results - page 66 / 473 » Programming in Standard ML |
141
Voted
ML
1998
ACM
15 years 3 months ago
1998
ACM
We introduce, analyze and demonstrate a recursive hierarchical generalization of the widely used hidden Markov models, which we name Hierarchical Hidden Markov Models (HHMM). Our m...
122
click to vote
ML
2007
ACM
15 years 3 months ago
2007
ACM
Abstract Surrogate maximization (or minimization) (SM) algorithms are a family of algorithms that can be regarded as a generalization of expectation-maximization (EM) algorithms. A...
143
click to vote
ENTCS
2007
15 years 3 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
136
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
145
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...