Sciweavers

549 search results - page 60 / 110
» Rationality in the Full-Information Model
Sort
View
AMS
2005
Springer
112views Robotics» more  AMS 2005»
14 years 2 months ago
Combining Learning and Programming for High-Performance Robot Controllers
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
Alexandra Kirsch, Michael Beetz
DIGRA
2003
Springer
14 years 2 months ago
Wargaming and Computer Games: Fun with the Future
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
Patrick Crogan
IWPC
2002
IEEE
14 years 2 months ago
Theory-based Analysis of Cognitive Support in Software Comprehension Tools
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
Andrew Walenstein
CAV
2008
Springer
170views Hardware» more  CAV 2008»
13 years 11 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
NLUCS
2004
13 years 10 months ago
Cognitive Dialogue Management
Abstract. Cognitive Dialogue Management is a novel approach to Dialogue Management which proposes a novel architecture for building up advanced interactive interfaces in natural la...
Vincenzo Pallotta