1702 search results - page 163 / 341 » Doomed program points |
118
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
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 ...
158
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
154
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
156
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
166
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...