620 search results - page 36 / 124 » Verification and Validation and Artificial Intelligence |
169
click to vote
FLAIRS
2007
15 years 8 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...
185
click to vote
FLAIRS
2009
15 years 4 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...
155
click to vote
AUSAI
2008
Springer
15 years 8 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...
207
click to vote
KI
2010
Springer
15 years 29 days 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...
137
click to vote
AISC
2006
Springer
15 years 10 months 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...