Sciweavers

6941 search results - page 470 / 1389
» Testing as a Certification Approach
Sort
View
IAT
2009
IEEE
15 years 10 months ago
Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans
—We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans. We implemented a prototype system and tested it...
Xiaoping Chen, Jiehui Jiang, Jianmin Ji, Guoqiang ...
AAAI
2007
15 years 9 months ago
Detection of Multiple Deformable Objects using PCA-SIFT
In this paper, we address the problem of identifying and localizing multiple instances of highly deformable objects in real-time video data. We present an approach which uses PCA-...
Stefan Zickler, Alexei A. Efros
USENIX
2008
15 years 9 months ago
Using Causality to Diagnose Configuration Bugs
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
Mona Attariyan, Jason Flinn
DSVIS
2005
Springer
15 years 8 months ago
Natural Modelling of Interactive Applications
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...
Fabio Paternò, Marco Volpe 0002
EVOW
2008
Springer
15 years 8 months ago
Implicit Fitness Functions for Evolving a Drawing Robot
We describe an approach to artificially evolving a drawing robot using implicit fitness functions, which are designed to minimise any direct reference to the line patterns made by ...
Jon Bird, Phil Husbands, Martin Perris, Bill Bigge...