Search Sciweavers | Sciweavers

4415 search results - page 12 / 883

» How to Pair with a Human

171

click to vote

RTA
2004
Springer

131views Theoretical Computer Science» more RTA 2004»

TORPA: Termination of Rewriting Proved Automatically

15 years 11 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 »

139

click to vote

CHI
2008
ACM

115views Human Computer Interaction» more CHI 2008»

Future craft: how digital media is transforming product design

16 years 6 months ago

Download tmg-orchard.media.mit.edu

Leonardo Bonanni, Amanda J. Parkes, Hiroshi Ishii

claim paper

Read More »

140

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)?

16 years 6 months ago

Download www.takebay.net

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

claim paper

Read More »

108

click to vote

CHI
2003
ACM

98views Human Computer Interaction» more CHI 2003»

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

16 years 6 months ago

Download www.ifsm.umbc.edu

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

claim paper

Read More »

127

click to vote

HRI
2009
ACM

133views Human Computer Interaction» more HRI 2009»

How people talk when teaching a robot

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers