16430 search results - page 820 / 3286 » On Computable Tree Functions |
175
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
181
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— This paper deals with the optimization of RobotObstacle interaction computations, in the context of nonholonomic trajectory deformation for mobile robots. We first rec...
192
click to vote
SC
2005
ACM
16 years 1 months ago
2005
ACM
We describe the software architecture, technical features, and performance of TICK (Transparent Incremental Checkpointer at Kernel level), a system-level checkpointer implemented ...
218
click to vote
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
Trans-reality role-playing games are conceived of as a form of role-playing game evolving from and integrating established table-top, live-action and computer-based role-playing f...
186
click to vote
GW
2005
Springer
16 years 1 months ago
2005
Springer
In modern society there is an increasing demand to access, record and manipulate large amounts of information. This has inspired a new approach to thinking about and designing pers...