Sciweavers

1108 search results - page 38 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
CSL
2011
Springer
14 years 4 months ago
Designing and evaluating a wizarded uncertainty-adaptive spoken dialogue tutoring system
We describe the design and evaluation of two different dynamic student uncertainty adaptations in wizarded versions of a spoken dialogue tutoring system. The two adaptive systems...
Katherine Forbes-Riley, Diane J. Litman
AAAI
1994
14 years 11 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
DLOG
2011
14 years 1 months ago
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
Stefan Scheglmann, Carsten Saathoff, Steffen Staab
VIS
2004
IEEE
110views Visualization» more  VIS 2004»
15 years 11 months ago
Display of Vector Fields Using a Reaction-Diffusion Model
Effective visualization of vector fields relies on the ability to control the size and density of the underlying mapping to visual cues used to represent the field. In this paper ...
Allen R. Sanderson, Chris R. Johnson, Robert M. Ki...
VL
2000
IEEE
115views Visual Languages» more  VL 2000»
15 years 2 months ago
SD2: A Sound and Complete Diagrammatic Reasoning System
SD2 is a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They augment the systems of Venn-Peirce ...
John Howse, Fernando Molina, John Taylor