3670 search results - page 335 / 734 » Linear Recursive Functions |
210
click to vote
JMLR
2012
13 years 9 months ago
2012
We address the problem of finding the most likely assignment or MAP estimation in a Markov random field. We analyze the linear programming formulation of MAP through the lens of...
230
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—The problem of minimizing queueing delay of opportunistic access of multiple continuous time Markov channels is considered. A new access policy based on myopic sensing a...
303
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
202
Voted
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
236
click to vote
OOPSLA
2007
Springer
16 years 24 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...