3573 search results - page 173 / 715 » Reasoning about Codata |
172
click to vote
ICCBR
2001
Springer
15 years 11 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...
155
click to vote
WCRE
1999
IEEE
15 years 10 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...
165
click to vote
TIME
1998
IEEE
15 years 10 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. ...
149
click to vote
ICFP
1998
ACM
15 years 10 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...
165
click to vote
PLDI
1997
ACM
15 years 10 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...