5499 search results - page 287 / 1100 » Generalized Rewrite Theories |
181
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
170
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
In this paper we present a novel interaction metaphor for handheld projectors we label MotionBeam. We detail a number of interaction techniques that utilize the physical movement ...
175
click to vote
HRI
2009
ACM
16 years 2 months ago
2009
ACM
This paper explores the use of an outcome matrix as a computational representation of social interaction suitable for implementation on a robot. An outcome matrix expresses the re...
192
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
196
click to vote
APPROX
2009
Springer
16 years 2 months ago
2009
Springer
Small-bias, or -biased, spaces have found many applications in complexity theory, coding theory, and derandomization. We generalize the notion of small-bias spaces to the setting ...