397 search results - page 35 / 80 » Causal Reasoning with Contexts Using Dependent Types |
109
Voted
ICCBR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
125
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
136
Voted
SRDS
2006
IEEE
15 years 9 months ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
148
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
139
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...