Sciweavers

330 search results - page 39 / 66
» Interaction Modeling with Artificial Life Agents
Sort
View
ECAI
2006
Springer
13 years 11 months ago
Self-Organizing Multiagent Approach to Optimization in Positioning Problems
The facility positioning3 problem concerns the location of facilities such as bus-stops, fire stations, schools, so as to optimize one or several objectives. This paper contributes...
Sana Moujahed, Olivier Simonin, Abderrafiaa Koukam...
IWINAC
2009
Springer
14 years 2 months ago
Eye-Hand Coordination for Reaching in Dorsal Stream Area V6A: Computational Lessons
Data related to the coordination and modulation between visual information, gaze direction and arm reaching movements in primates are analyzed from a computational point of view. T...
Eris Chinellato, Beata Grzyb, Nicoletta Marzocchi,...
CCIA
2008
Springer
13 years 9 months ago
Privacy in Distributed Meeting Scheduling
Meetings are an important vehicle for human interaction. The Meeting Scheduling problem (MS) considers several agents, each holding a personal calendar, and a number of meetings wh...
Ismel Brito, Pedro Meseguer
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
13 years 11 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
IEAAIE
2011
Springer
12 years 11 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...