3233 search results - page 251 / 647 » Validation Method for Intelligent Systems |
123
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
147
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
134
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In the course of the recent complexification and sophistication of commercial computer games, the creation of competitive artificial players that are able to behave intelligentl...
120
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
144
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...