Sciweavers

3729 search results - page 140 / 746
» On Formal Modeling of Agent Computations
Sort
View
IAT
2008
IEEE
16 years 26 days ago
A Computer Simulation Laboratory for Social Theories
  We   present   an   agent­based   model   that   employs  different   social   theories   and   their   combination   to  explain and predict social changes....
Joseph M. Whitmeyer, Moutaz Khouja, Ted Carmichael...
ICTAC
2005
Springer
15 years 12 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
AAAI
1997
15 years 7 months ago
Effective Bayesian Inference for Stochastic Programs
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Daphne Koller, David A. McAllester, Avi Pfeffer
CMOT
2000
123views more  CMOT 2000»
15 years 6 months ago
Nonadditive Shortest Paths: Subproblems in Multi-Agent Competitive Network Models
A variety of different multi-agent (competitive) network models have been described in the literature. Computational techniques for solving such models often involve the iterative...
Steven A. Gabriel, David Bernstein
ATAL
2008
Springer
15 years 8 months ago
Modeling how humans reason about others with partial information
Computer agents participate in many collaborative and competitive multiagent domains in which humans make decisions. For computer agents to interact successfully with people in su...
Sevan G. Ficici, Avi Pfeffer