620 search results - page 8 / 124 » Verification and Validation and Artificial Intelligence |
POPL
2007
ACM
14 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
DRM
2006
Springer
13 years 11 months ago
2006
Springer
Identification is a two part system comprising of a token or label (an identifier) that can be used to reference an entity and a process that can be used to create label-entity as...
ECAL
2005
Springer
14 years 1 months ago
2005
Springer
One of the greatest challenges in the modern biological and social sciences has been to understand the evolution of altruistic and cooperative behaviors. General outlines of the an...
FLAIRS
1998
13 years 8 months ago
1998
Dealingwiththequestionwhetherornota givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem,how tonavigateappropriatelythroughtheavailable knowledgespacetoprove...
FLAIRS
1998
13 years 8 months ago
1998
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated...