Sciweavers

353 search results - page 51 / 71
» Supporting Interaction in the ROBOCARE Intelligent Assistive...
Sort
View
AOSE
2007
Springer
14 years 5 months ago
A Methodology for Developing Multiagent Systems as 3D Electronic Institutions
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
TPHOL
2007
IEEE
14 years 5 months ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
JCP
2006
85views more  JCP 2006»
13 years 11 months ago
The Emergence of Autonomous Representations in Artificial Agents
Representational autonomy is a key property of an artificial agent. The type of representational structures and the role they play in the preservation of an agent's autonomy a...
Argyris Arnellos, Spyros Vosinakis, Thomas Spyrou,...
INTERACT
2007
14 years 13 days ago
Meta-design: Expanding Boundaries and Redistributing Control in Design
Meta-design is an emerging conceptual framework aimed at defining and creating socio-technical environments as living entities. It extends existing design methodologies focused on ...
Gerhard Fischer
ATAL
2007
Springer
14 years 5 months ago
Cooperative evolution of service ontologies
Most of the proposed approaches in automatic service selection assume the existence of a common ontology among communicating agents. However, this assumption becomes difficult to...
Murat Sensoy, Pinar Yolum