Sciweavers

3001 search results - page 350 / 601
» Recursive type generativity
Sort
View
CHI
1999
ACM
15 years 11 months ago
Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models
While current eye-based interfaces offer enormous potential for efficient human-computer interaction, they also manifest the difficulty of inferring intent from user eye movements...
Dario D. Salvucci
MM
1999
ACM
108views Multimedia» more  MM 1999»
15 years 11 months ago
Visual digests for news video libraries
The Informedia Digital Video Library contains over 2000 hours of video, growing at a rate of 15 hours per week. A good query engine is not sufficient for information retrieval bec...
Michael G. Christel
AGENTS
1999
Springer
15 years 11 months ago
Where to Look? Automating Attending Behaviors of Virtual Human Characters
This research proposes a computational framework for generating visual attending behavior in an embodied simulated human agent. Such behaviors directly control eye and head motion...
Sonu Chopra-Khullar, Norman I. Badler
ARTS
1999
Springer
15 years 10 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
CIKM
1999
Springer
15 years 10 months ago
Training a Selection Function for Extraction
In this paper we compare performance of several heuristics in generating informative generic/query-oriented extracts for newspaper articles in order to learn how topic prominence ...
Chin-Yew Lin