Sciweavers

347 search results - page 37 / 70
» Liability for Autonomous Agent Design
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 1 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
ATAL
2008
Springer
13 years 10 months ago
Methods for complex single-mind architecture designs
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
Kristinn R. Thórisson, Gudny Ragna Jonsdott...
SASO
2010
IEEE
13 years 6 months ago
Designing Comprehensible Self-Organising Systems
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
Nicolas Höning, Han La Poutré
TEI
2009
ACM
97views Hardware» more  TEI 2009»
14 years 3 months ago
The other brother: re-experiencing spontaneous moments from domestic life
In this paper, we describe “The Other Brother”, a semiautonomous device that captures images and video of spontaneous moments in the course of everyday life. It was our goal t...
John Helmes, Caroline Hummels, Abigail Sellen
CLIMA
2004
13 years 10 months ago
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
Andrea Bracciali, Paolo Torroni