907 search results - page 169 / 182 » Understanding movement for interaction design: frameworks an... |
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
SE
2008
13 years 10 months ago
2008
: One of the main challenges in distributed software development is the elicitation and management of knowledge regarding system requirements. Due to spatial distribution of involv...
ER
2004
Springer
14 years 2 months ago
2004
Springer
Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationshi...
SAB
2004
Springer
14 years 1 months ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
The stories vs. games debate has been prominent during the early years of game studies, and few other perspectives have been introduced to the discussion. In the paper, Game Resea...