4415 search results - page 170 / 883 » How to Pair with a Human |
184
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
147
click to vote
HUC
1999
Springer
15 years 10 months ago
1999
Springer
In developing electronic gadgets, meters and oscilloscopes are used to probe into their workings, so that engineers can understand how they are behaving and how they can be improve...
142
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
121
click to vote
IJCAI
2003
15 years 7 months ago
2003
We have developed a robot controller based upon a neural implementation of Norman and Shallice's model of executive attentional control in humans. A simulation illustrates ho...
146
click to vote
CHI
2009
ACM
15 years 7 months ago
2009
ACM
When an offence occurs, the victim and offender can overcome the harm done through forgiveness. This paper demonstrates how forgiveness can be supported in social system design. W...