859 search results - page 101 / 172 » Abduction in Temporal Reasoning |
IKE
2007
13 years 11 months ago
2007
- We present an application for analyzing temporal and spatial interaction in an Association Network environment based on integrating Global Positioning Systems (GPS) Data, RDF Met...
AAAI
1990
13 years 11 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
IJFCS
2006
13 years 10 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
NECO
2010
13 years 4 months ago
2010
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
PODC
1994
ACM
14 years 2 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...