3729 search results - page 344 / 746 » On Formal Modeling of Agent Computations |
186
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Coalitional games raise a number of important questions from the point of view of computer science, key among them being how to represent such games compactly, and how to efficien...
167
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
162
click to vote
HLPPP
1991
15 years 10 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
183
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
175
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Evaluating agents in decision-making applications requires assessing their skill and predicting their behaviour. Both are well developed in Poker-like situations, but less so in mo...