1114 search results - page 88 / 223 » An Architecture for Peer-to-peer Reasoning |
169
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
139
click to vote
ESAW
2009
Springer
16 years 28 days ago
2009
Springer
In this paper, after a short review of the dichotomous view of norms usually seen as either regular behaviors or obligations issued by authorities, norms are proposed to be defined...
172
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
179
click to vote
AIIDE
2007
15 years 8 months ago
2007
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
176
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
In this paper, intelligent perception-based systems are proposed in application to medical diagnosis problems. The systems are created by use of connectionist neurofuzzy architect...