Sciweavers

3619 search results - page 492 / 724
» Humor modeling in the interface
Sort
View
ACSAC
1999
IEEE
15 years 11 months ago
Using Checkable Types in Automatic Protocol Analysis
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
Stephen H. Brackin
UIST
1999
ACM
15 years 11 months ago
Using Properties for Uniform Interaction in the Presto Document System
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
Paul Dourish, W. Keith Edwards, Anthony LaMarca, M...
EUROPAR
1999
Springer
15 years 11 months ago
INTERLACE: An Interoperation and Linking Architecture for Computational Engines
Abstract. To aid in building high-performance computational environments, INTERLACE offers a framework for linking reusable computational engines in a heterogeneous distributed sy...
Matthew J. Sottile, Allen D. Malony
APCHI
1998
IEEE
15 years 11 months ago
Knowledge Required for Understanding Task-Oriented Instructions
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
Muneo Kitajima, Peter G. Polson
FGR
1998
IEEE
74views Biometrics» more  FGR 1998»
15 years 11 months ago
Synthesis of Facial Images with Lip Motion from Several Real Views
The synthesis of facial images by computer graphics is very important for many applications such as human interface and visual entertainment. The lip motion is an essential factor...
Lei Gao, Yasuhiro Mukaigawa, Yuichi Ohta