451 search results - page 24 / 91 » Algorithmic Analysis of Production Systems Used as Agent-Bas... |
FASE
2004
Springer
14 years 11 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
SIGGRAPH
1994
ACM
14 years 22 days ago
1994
ACM
In this paper we identify sources of error in global illumination algorithms and derive bounds for each distinct category. Errors arise from three sources: inaccuracies in the bou...
SIGMETRICS
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
INFFUS
2010
13 years 7 months ago
2010
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
KDD
2005
ACM
14 years 9 months ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...