3616 search results - page 18 / 724 » Conditional Memory Ordering |
119
click to vote
IJCAI
2003
15 years 3 months ago
2003
Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
143
Voted
DSP
2008
15 years 2 months ago
2008
In this work, we propose to improve the neighboring relationship ability of the Hidden Markov Chain (HMC) model, by extending the memory lengthes of both the Markov chain process ...
127
click to vote
CTRS
1992
15 years 6 months ago
1992
We show that a simple, and easily implementable, restriction on the recursive path ordering, which we call the "binary path condition," sufficesfor establishing terminat...
144
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
134
click to vote
APPML
2010
15 years 2 months ago
2010
In this paper, we apply a fixed point theorem to obtain sufficient conditions for the existence of positive periodic solutions for two classes of higher-order functional differenc...