Search Sciweavers | Sciweavers

4415 search results - page 12 / 883

» How to Pair with a Human

click to vote

RTA
2004
Springer

131views Theoretical Computer Science» more RTA 2004»

TORPA: Termination of Rewriting Proved Automatically

14 years 3 months ago

Download www.win.tue.nl

Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...

Hans Zantema

claim paper

Read More »

click to vote

CHI
2008
ACM

115views Human Computer Interaction» more CHI 2008»

Future craft: how digital media is transforming product design

14 years 10 months ago

Download tmg-orchard.media.mit.edu

Leonardo Bonanni, Amanda J. Parkes, Hiroshi Ishii

claim paper

Read More »

click to vote

CHI
2007
ACM

190views Human Computer Interaction» more CHI 2007»

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?

14 years 10 months ago

Download www.takebay.net

Philippe A. Palanque, Sandra Basnyat, Regina Bernh...

claim paper

Read More »

click to vote

CHI
2003
ACM

98views Human Computer Interaction» more CHI 2003»

Spam, spam, spam, spam: how can we stop it

14 years 10 months ago

Download www.ifsm.umbc.edu

Jenny Preece, Jonathan Lazar, Elizabeth F. Churchi...

claim paper

Read More »

click to vote

HRI
2009
ACM

133views Human Computer Interaction» more HRI 2009»

How people talk when teaching a robot

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers