2372 search results - page 369 / 475 » is 2012 |
IUI
2012
ACM
12 years 5 months ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...
IUI
2012
ACM
12 years 5 months ago
2012
ACM
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...
IUI
2012
ACM
12 years 5 months ago
2012
ACM
In the digital age, users can have perfect recall of their digital experiences. In this paper, we explore how this recall can be leveraged during web browsing. We have built a sys...
KI
2012
Springer
12 years 5 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
LPAR
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...