Sciweavers

4099 search results - page 483 / 820
» A Framework for Interactive Proof
Sort
View
ECIS
2000
15 years 8 months ago
The Software for Cultures and the Cultures in Software
Software is viewed as an artefact which interacts with cultures of societies in which it functions. On the one hand, software manufacturers make efforts to adapt the appearance of ...
Gregory E. Kersten, Stan Matwin, Sunil J. Noronha,...
ICMAS
2000
15 years 8 months ago
Sociological Agents for Effective Social Action
This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind, suggests ...
Mark d'Inverno, Michael Luck
AAAI
1997
15 years 8 months ago
Benefits of Learning in Negotiation
Negotiation has been extensively discussed in gametheoretic, economic, and management science literatures for decades. Recent growing interest in electronic commerce has given inc...
Dajun Zeng, Katia P. Sycara
BCEC
1997
15 years 8 months ago
Adaptive Task Allocation Inspired by a Model of Division of Labor in Social Insects
Social insects provide us with a powerful metaphor to create decentralized systems of simple interacting, and often mobile, agents. The emergent collective intelligence of social i...
Eric Bonabeau, Andrej Sobkowski, Guy Theraulaz, Je...
AIPS
2009
15 years 7 months ago
A Human-Aware Robot Task Planner
The growing presence of household robots in inhabited environments arises the need for new robot task planning techniques. These techniques should take into consideration not only...
Marcello Cirillo, Lars Karlsson, Alessandro Saffio...