1114 search results - page 29 / 223 » An Architecture for Peer-to-peer Reasoning |
TKDE
2010
14 years 5 months ago
2010
The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, requir...
WCRE
1999
IEEE
15 years 3 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...
AMI
2009
Springer
15 years 5 months ago
2009
Springer
This paper reports on a novel recurrent fuzzy classification method for robust detection of context activities in an environment using either single or distributed sensors. It als...
DIAGRAMS
2000
Springer
15 years 3 months ago
2000
Springer
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
HPCA
1999
IEEE
15 years 3 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...