3616 search results - page 22 / 724 » Conditional Memory Ordering |
127
click to vote
ESANN
2007
15 years 3 months ago
2007
Abstract. We propose a new algorithm for estimating the causal structure that underlies the observed dependence among n (n ≥ 4) binary variables X1, . . . , Xn. Our inference pri...
148
click to vote
WADT
2004
Springer
15 years 7 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
112
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
114
click to vote
OSDI
2000
ACM
15 years 3 months ago
2000
ACM
Out-of-core applications consume physical resources at a rapid rate, causing interactive applications sharing the same machine to exhibit poor response times. This behavior is the...
123
Voted
SIAMCO
2010
14 years 9 months ago
2010
We consider an optimal control problem governed by an ODE with memory playing the role of a control. We show the existence of an optimal solution and derive some necessary optimal...