740 search results - page 59 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CSCWD
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a human-centered vision of unmanned but crewed platforms, combining an onshore collaborative hybrid environment and an intelligent offshore oilfield. Computer ...
108
click to vote
INTERACT
2003
15 years 2 months ago
2003
: Large displays are increasingly being placed in public places to support community and social activities. However, a major problem that has been observed with this new form of pu...
121
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
Many approaches have been proposed to connect mobile phones with interactive tables. Most rely on having the phone placed on table all times, which may hinder the overall user exp...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Hobby chefs have various ways to learn cooking—paper recipes or cooking shows, for example. However, information in paper recipes may require prior experience to be understood a...
106
click to vote
JVCA
2002
15 years 1 months ago
2002
In this paper, we describe a method for implementing the behaviour of artificial actors in the context of interactive storytelling. We have developed a fully implemented prototype...