3573 search results - page 173 / 715 » Reasoning about Codata |
138
Voted
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
We describe a case-based approach to the keyhole plan-recognition task where the observed agent is a state-space planner whose world states can be monitored. Case-based approach pr...
122
Voted
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
128
Voted
TIME
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
118
Voted
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
129
Voted
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...