— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...
This paper provides a brief overview of an implicit training method used for teaching autonomous agents to represent humans in 3D Virtual Worlds without any explicit training effo...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
Abstract. By use of a dance game, and after much input and advice from thirteen year old design consultants, we teach Java programming in a way that will interest middle school gir...
The paper elucidates two views (models) of algorithmic problem solving. The first one is static; it is based on the identification of several principal dimensions of algorithmic p...
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...