42 search results - page 2 / 9 » Causal reasoning using geometric analysis |
FM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
AAAI
1997
13 years 8 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
JSS
2007
13 years 6 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
Nonlinear ICA may not result in nonlinear blind source separation, since solutions to nonlinear ICA are highly non-unique. In practice, the nonlinearity in the data generation pro...
CADE
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...