Sciweavers

2040 search results - page 329 / 408
» On the Complexity of Error Explanation
Sort
View
HF
2002
95views more  HF 2002»
15 years 6 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
CAD
1998
Springer
15 years 6 months ago
Applying ECA-Rules in DB-based Design Environments
The goal of this paper is to bring together the worlds of design and active databases. Design databases have to provide a powerful data model for complex structured design data as ...
Joachim Reinert, Norbert Ritter
GEOINFORMATICA
1998
144views more  GEOINFORMATICA 1998»
15 years 6 months ago
Approximation-Based Similarity Search for 3-D Surface Segments
The issue of ®nding similar 3-D surface segments arises in many recent applications of spatial database systems, such as molecular biology, medical imaging, CAD, and geographic i...
Hans-Peter Kriegel, Thomas Seidl
CGF
1999
137views more  CGF 1999»
15 years 6 months ago
Adaptive Acquisition of Lumigraphs from Synthetic Scenes
Light fields and Lumigraphs are capable of rendering scenes of arbitrary geometrical or illumination complexity in real time. They are thus interesting ways of interacting with bo...
Hartmut Schirmacher, Wolfgang Heidrich, Hans-Peter...
IJCV
1998
153views more  IJCV 1998»
15 years 6 months ago
Rational Filters for Passive Depth from Defocus
A fundamental problem in depth from defocus is the measurement of relative defocus between images. The performance of previously proposed focus operators are inevitably sensitive t...
Masahiro Watanabe, Shree K. Nayar