528 search results - page 45 / 106 » Causal inference using the algorithmic Markov condition |
ENTCS
2007
14 years 9 months ago
2007
Automated deduction methods should be specified not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, di...
113
click to vote
BMCBI
2006
14 years 10 months ago
2006
Background: Inference of population stratification and individual admixture from genetic markers is an integrative part of a study in diverse situations, such as association mappi...
102
click to vote
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov Chain Mont...
104
click to vote
ICML
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel discriminative learning technique for label sequences based on a combination of the two most successful learning algorithms, Support Vector Machines an...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...