Sciweavers

786 search results - page 31 / 158
» Adequacy of Limited Testing for Knowledge Based Systems
Sort
View
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
ICTAC
2009
Springer
13 years 5 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
ITC
1991
IEEE
80views Hardware» more  ITC 1991»
13 years 11 months ago
An Intelligent Approach to Automatic Test Equipment
In diagnosing a failed system, a smart technician would choose tests to be performed based on the context of the situation. Currently, test program sets do not fault-. isolate wit...
William R. Simpson, John W. Sheppard
FLAIRS
2004
13 years 9 months ago
The Power of Experience: On the Usefulness of Validation Knowledge
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
Rainer Knauf, Setsuo Tsuruta, Kenichi Uehara, Taka...
ICRA
2002
IEEE
177views Robotics» more  ICRA 2002»
14 years 20 days ago
Robust Vision-Based Localization for Mobile Robots using an Image Retrieval System Based on Invariant Features
In this paper we present a vision-based approach to mobile robot localization, that integrates an image retrieval system with Monte-Carlo localization. The image retrieval process...
Jürgen Wolf, Wolfram Burgard, Hans Burkhardt