Sciweavers

1115 search results - page 162 / 223
» Attention Tracking - Measuring the Focus of Attention
Sort
View
AAAI
1996
13 years 9 months ago
Agent Modeling in Expert Critiquing Systems
Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...
Michael Chin-Ming Fu, Caroline C. Hayes
AAAI
1996
13 years 9 months ago
Neighborhood Inverse Consistency Preprocessing
Constraint satisfaction consistency preprocessing methods are used to reduce search e ort. Time and especially space costs limit the amount of preprocessing that will be cost e ec...
Eugene C. Freuder, Charles D. Elfe
AAAI
1994
13 years 9 months ago
Situated Plan Attribution for Intelligent Tutoring
Plan recognition techniques frequently make rigid assumptions about the student's plans, and invest substantial effort to infer unobservable properties of the student. The pe...
Randall W. Hill Jr., W. Lewis Johnson
DIMACS
1996
13 years 9 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
VMV
2007
97views Visualization» more  VMV 2007»
13 years 9 months ago
Surface Glyphs for Visualizing Multimodal Volume Data
In this paper we present concepts for integrating glyphs into volumetric data sets. These concepts have been developed with the goal to make glyphbased visualization of multimodal...
Timo Ropinski, Michael Specht, Jennis Meyer-Sprado...