Sciweavers

352 search results - page 41 / 71
» The Structure of First-Order Causality
Sort
View
COCOON
1995
Springer
15 years 1 months ago
Constructing Craig Interpolation Formulas
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
Guoxiang Huang
FUIN
2010
158views more  FUIN 2010»
14 years 7 months ago
Cellular Automata, Decidability and Phasespace
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
Klaus Sutner
IPPS
2006
IEEE
15 years 3 months ago
Parallelization of module network structure learning and performance tuning on SMP
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
Hongshan Jiang, Chunrong Lai, Wenguang Chen, Yuron...
70
Voted
ICANN
2010
Springer
14 years 10 months ago
Assessing Statistical Reliability of LiNGAM via Multiscale Bootstrap
Structural equation models have been widely used to study causal relationships between continuous variables. Recently, a non-Gaussian method called LiNGAM was proposed to discover ...
Yusuke Komatsu, Shohei Shimizu, Hidetoshi Shimodai...
IJON
2010
189views more  IJON 2010»
14 years 8 months ago
Inference and parameter estimation on hierarchical belief networks for image segmentation
We introduce a new causal hierarchical belief network for image segmentation. Contrary to classical tree structured (or pyramidal) models, the factor graph of the network contains...
Christian Wolf, Gérald Gavin