529 search results - page 13 / 106 » Causal Time Calculus |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Previous work shows request tracing systems help understand and debug the performance problems of multi-tier services. However, for large-scale data centers, more than hundreds of...
BC
2007
13 years 8 months ago
2007
We present a new approach of explaining partial causality in multivariate fMRI time series by a state space model. A given single time series can be divided into two noise-driven ...
AI
2011
Springer
13 years 3 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
PRESENCE
2007
13 years 8 months ago
2007
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
TIME
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...