1114 search results - page 91 / 223 » An Architecture for Peer-to-peer Reasoning |
157
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
This paper provides general information about research at the University of Auckland into autonomous agents in highly dynamic environments, in particular in RoboCup. The paper desc...
127
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
136
click to vote
AAAI
1998
15 years 7 months ago
1998
Effective information gathering on the WWW is a complex task requiring planning, scheduling, text processing, and interpretation-style reasoning about extracted data to resolve in...
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
269
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
This paper proposes a cycle accounting architecture for Simultaneous Multithreading (SMT) processors that estimates the execution times for each of the threads had they been execu...