1982 search results - page 227 / 397 » Parametricity and dependent types |
179
click to vote
WISES
2003
15 years 7 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
170
click to vote
UAI
1998
15 years 7 months ago
1998
We study two-layer belief networks of binary random variables in which the conditional probabilities Pr childjparents depend monotonically on weighted sums of the parents. In larg...
159
click to vote
UAI
1994
15 years 7 months ago
1994
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
123
click to vote
IJCAI
1989
15 years 7 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...
157
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This working notes paper describes our first participation in the ImageCLEF2010 Wikipedia Retrieval Task[1]. In this task, we mainly test our Quantum Theory inspired retr...