740 search results - page 87 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
125
click to vote
ISWC
1997
IEEE
15 years 5 months ago
1997
IEEE
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...
100
click to vote
HHCI
2000
15 years 5 months ago
2000
Projection-augmented models are a type of non-immersive, coincident haptic and visual display that uses a physical model as a three dimensional screen for projected visual informa...
112
click to vote
ICSE
2011
IEEE-ACM
14 years 4 months ago
2011
IEEE-ACM
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...
CHI
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents a method for automatically estimating human interruptibility in home environments. To make online remote communication smoother, determining if it is appropria...
122
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...