23703 search results - page 4566 / 4741 » Learning from Demonstration |
CHARME
2003
Springer
14 years 3 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
DIGRA
2003
Springer
14 years 3 months ago
2003
Springer
The paper addresses limitations of strictly interactive theories of videogame genre, proposes a supplementary, historicist inter-media alternative, and interprets the videogame Ka...
ECOOP
2003
Springer
14 years 3 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
EGH
2003
Springer
14 years 3 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
EUROPAR
2003
Springer
14 years 3 months ago
2003
Springer
The advent of high-performance networks in conjunction with low-cost, powerful computational engines has made possible the development of a new set of technologies termed computat...