172 search results - page 28 / 35 » Using Belief to Reason about Cache Coherence |
NIPS
2007
13 years 10 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
SCAI
2008
13 years 10 months ago
2008
The problem of automatically selecting simulation models for autonomous agents depending on their current intentions and beliefs is considered in this paper. The intended use of t...
PUC
2010
13 years 7 months ago
2010
We examine the effects of new technologies for digital photography on people’s longer term storage and access to collections of personal photos. We report an empirical study of p...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...