3044 search results - page 44 / 609 » Linear logical approximations |
MOC
2000
13 years 8 months ago
2000
We consider sequences of s
CSDA
2010
13 years 8 months ago
2010
In this paper, we consider a default strategy for fully Bayesian model determination for GLMMs. We address the two key issues of default prior specification and computation. In pa...
JMLR
2006
13 years 8 months ago
2006
We introduce a method for approximate smoothed inference in a class of switching linear dynamical systems, based on a novel form of Gaussian Sum smoother. This class includes the ...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
ESOP
2000
Springer
14 years 12 days ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...