440 search results - page 7 / 88 » Local reasoning for abstraction and sharing |
112
click to vote
ICCBR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Distributed case-based reasoning architectures have the potential to improve the overall performance of case-based reasoning systems. In this paper we describe a collabor...
132
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
117
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
104
click to vote
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
JAIR
2006
15 years 1 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...