3573 search results - page 23 / 715 » Reasoning about Codata |
IJCAI
1989
14 years 3 days ago
1989
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
DAGM
2004
Springer
14 years 4 months ago
2004
Springer
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
NMR
2004
Springer
14 years 4 months ago
2004
Springer
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
ECOOP
2010
Springer
14 years 3 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...