620 search results - page 35 / 124 » Verification and Validation and Artificial Intelligence |
APN
2000
Springer
14 years 10 days ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
AIED
2011
Springer
13 years 10 days ago
2011
Springer
Many Intelligent Tutoring Systems (ITSs) have started to incorporate game-based components in an attempt to improve student engagement during system interactions. iSTART-ME is a ne...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...
DAGSTUHL
2008
13 years 10 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
CAEPIA
2007
Springer
14 years 22 days ago
2007
Springer
Many recent successful planners use domain-independent heuristics to speed up the search for a valid plan. An orthogonal approach to accelerating search is to identify and remove r...