Sciweavers

620 search results - page 6 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
ECAI
2008
Springer
13 years 9 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
BVAI
2007
Springer
13 years 11 months ago
Recognition of Human Faces: From Biological to Artificial Vision
Face recognition is among the most challenging techniques for personal identity verification. Even though it is so natural for humans, there are still many hidden mechanisms which ...
Massimo Tistarelli, Linda Brodo, Andrea Lagorio, M...
FLAIRS
2001
13 years 8 months ago
Improving Knowledge-Based System Performance by Reordering Rule Sequences
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
Neli Zlatareva
IBERAMIA
2004
Springer
14 years 26 days ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...