620 search results - page 36 / 124 » Verification and Validation and Artificial Intelligence |
FLAIRS
2007
13 years 11 months ago
2007
Typical application fields of Knowledge Based Systems are a usually characterized by having human expertise as the only one source to specify their desired behavior. Their design...
FLAIRS
2009
13 years 6 months ago
2009
Empirical testing is a very popular evaluation method for the development of intelligent systems. Here, previously solved problems with correct solutions are given as cases to the...
AUSAI
2008
Springer
13 years 10 months ago
2008
Springer
Many applications require the ability to identify data that is anomalous with respect to a target group of observations, in the sense of belonging to a new, previously unseen `atta...
KI
2010
Springer
13 years 3 months ago
2010
Springer
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...
AISC
2006
Springer
14 years 14 days ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...