Sciweavers

4650 search results - page 548 / 930
» Generating and evaluating evaluative arguments
Sort
View
IJCAI
2001
15 years 8 months ago
Integrating Expectations from Different Sources to Help End Users Acquire Procedural Knowledge
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
Jim Blythe
UAI
2001
15 years 8 months ago
Aggregating Learned Probabilistic Beliefs
We consider the task of aggregating beliefs of several experts. We assume that these beliefs are represented as probability distributions. We argue that the evaluation of any aggr...
Pedrito Maynard-Reid II, Urszula Chajewska
VCIP
2001
173views Communications» more  VCIP 2001»
15 years 8 months ago
Interpolation of three views based on epipolar geometry
In this paper, we propose a method for generating arbitrary view image by interpolating images between three cameras using epipolar geometry. Projective geometry has recently been...
Makoto Kimura, Hideo Saito
UAI
2004
15 years 8 months ago
A Complete Anytime Algorithm for Treewidth
In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect ...
Vibhav Gogate, Rina Dechter
SFP
2003
15 years 8 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer