3729 search results - page 199 / 746 » On Formal Modeling of Agent Computations |
174
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We quantify the effect of Bayesian ignorance by comparing the social cost obtained in a Bayesian game by agents with local views to the expected social cost of agents having glob...
170
click to vote
IAT
2007
IEEE
16 years 25 days ago
2007
IEEE
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
153
click to vote
CEC
2005
IEEE
16 years 4 days ago
2005
IEEE
The evolution of music, from random note strings to certain “pleasant” note sequences, is traced in a multi-agent computational model. A community of agents, with some musical ...
168
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
159
click to vote
EUC
2005
Springer
16 years 1 days ago
2005
Springer
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...