1284 search results - page 108 / 257 » On Helping and Interactive Proof Systems |
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
123
click to vote
HAID
2011
Springer
13 years 9 months ago
2011
Springer
Many victims of The Great East Japan Earthquake lost many precious mementos. Such loses can result in more time being required to recover emotionally and mentally. This paper propo...
CHI
1995
ACM
15 years 1 months ago
1995
ACM
Collaborative filtering is based on the premise that people looking for information should be able to make use of what others have already found and evaluated. Current collaborati...
HRI
2009
ACM
15 years 4 months ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...