Sciweavers

4806 search results - page 703 / 962
» Interactive uncertainty analysis
Sort
View
MICCAI
2000
Springer
15 years 10 months ago
BrainSuite: An Automated Cortical Surface Identification Tool
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...
David W. Shattuck, Richard M. Leahy
149
Voted
ICRA
1995
IEEE
79views Robotics» more  ICRA 1995»
15 years 10 months ago
Learning to predict Resistive Forces During Robotic Excavation
— Few robot tasks require as forceful an interaction with the world as excavation. In order to effectively plan its actions, our robot excavator requires a method that allows it ...
Sanjiv Singh
170
Voted
STOC
1995
ACM
108views Algorithms» more  STOC 1995»
15 years 10 months ago
A parallel repetition theorem
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
Ran Raz
FLAIRS
2008
15 years 9 months ago
Visualization Techniques for the Evaluation of Knowledge Systems
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...
Joachim Baumeister, Martina Menge, Frank Puppe
WSC
2008
15 years 9 months ago
Enhancing simulation as improvement and decision support system tool
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
Heriberto Garcia, Eduardo Garcia