42 search results - page 1 / 9 » Racing algorithms for conditional independence inference |
IJAR
2007
13 years 4 months ago
2007
In this article, we consider the computational aspects of deciding whether a conditional independence statement t is implied by a list of conditional independence statements L usi...
ECSQARU
2005
Springer
13 years 10 months ago
2005
Springer
SAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
JMLR
2010
12 years 11 months ago
2010
The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transfor...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...