Sciweavers

2607 search results - page 409 / 522
» On the Architecture of System Verification Environments
Sort
View
IROS
2006
IEEE
142views Robotics» more  IROS 2006»
16 years 15 days ago
Integrated Grasp Planning and Visual Object Localization For a Humanoid Robot with Five-Fingered Hands
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
Antonio Morales, Tamim Asfour, Pedram Azad, Steffe...
AGENTS
2001
Springer
15 years 11 months ago
Tears and fears: modeling emotions and emotional behaviors in synthetic agents
Emotions play a critical role in creating engaging and believable characters to populate virtual worlds. Our goal is to create general computational models to support characters t...
Jonathan Gratch, Stacy Marsella
ISSRE
2000
IEEE
15 years 11 months ago
Software Black Box: An Alternative Mechanism for Failure Analysis
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
Sebastian G. Elbaum, John C. Munson
ATAL
2005
Springer
15 years 8 months ago
Rockwell automation agents for manufacturing
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
Vladimír Marík, Pavel Vrba, Kenwood ...
ESORICS
2008
Springer
15 years 8 months ago
A Multi-Path Approach for k-Anonymity in Mobile Hybrid Networks
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...
Claudio Agostino Ardagna, Angelos Stavrou, Sushil ...