740 search results - page 29 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Questions about the effectiveness of increasingly ubiquitous video technology in law enforcement have prompted an examination of the practices surrounding this technology. We pres...
MHCI
2005
Springer
14 years 1 months ago
2005
Springer
This paper reports the user study and design of a concept to improve mobile messaging for teens. A study of current mobile phone use by teens (16-18) showed that, while they prefe...
TABLETOP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we describe extensions to our work on ThinSight, necessary to scale the system to larger tabletop displays. The technique integrates optical sensors into existing of...
HCI
2007
13 years 10 months ago
2007
: The purpose of this research was to develop an approach to artifact design based on information technology. To make interactive systems easy to use, many companies utilize a user...
LICS
1994
IEEE
14 years 17 days ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...