352 search results - page 31 / 71 » The Structure of First-Order Causality |
JSYML
2000
14 years 9 months ago
2000
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
ITP
2010
14 years 7 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
KDD
2003
ACM
15 years 10 months ago
2003
ACM
Data Mining with Bayesian Network learning has two important characteristics: under broad conditions learned edges between variables correspond to causal influences, and second, f...
JMLR
2010
14 years 4 months ago
2010
Analysis of causal effects between continuous-valued variables typically uses either autoregressive models or structural equation models with instantaneous effects. Estimation of ...
WSFM
2007
Springer
15 years 3 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...