3729 search results - page 317 / 746 » On Formal Modeling of Agent Computations |
187
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we present a model of distributed parameter estimation in networks, where agents have access to partially informative measurements over time. Each agent faces a loca...
185
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
160
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
176
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
167
click to vote
ITICSE
2006
ACM
16 years 19 days ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...