3573 search results - page 531 / 715 » Reasoning about Codata |
158
click to vote
FTCS
1998
15 years 4 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
138
click to vote
AAAI
1997
15 years 4 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...
119
click to vote
AAAI
1997
15 years 4 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
122
click to vote
UAI
1998
15 years 4 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
119
Voted
AAAI
1996
15 years 4 months ago
1996
Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...