Sciweavers

10568 search results - page 3 / 2114
» Computer Intelligence and Formalization
Sort
View
APN
2004
Springer
14 years 25 days ago
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
Olivier H. Roux, Didier Lime
MABS
2005
Springer
14 years 28 days ago
Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence
This paper addresses the question to what extent a process involving multiple agents that shows some form of collective intelligence can be interpreted as a single agent. The quest...
Tibor Bosse, Jan Treur
ICNS
2006
IEEE
14 years 1 months ago
Promise theory - a model of autonomous objects for pervasive computing and swarms
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
Mark Burgess, Siri Fagernes
DCAI
2008
13 years 9 months ago
Management Ubiquitous of Messages and Documents Organizational through Intelligent Agents
In the context of artificial intelligence, the multiagent systems are an alternative solution to address complex problems and distributed. PAINALLI is an multi-agent architecture f...
Rosa Cano, Juan G. Sánchez, Cristian Pinz&o...
IJIT
2004
13 years 8 months ago
Resource Matching and a Matchmaking Service for an Intelligent Grid
We discuss the application of matching in the area of resource discovery and resource allocation in grid computing. We present a formal definition of matchmaking, overview algorith...
Xin Bai, Han Yu, Yongchang Ji, Dan C. Marinescu