Sciweavers

4842 search results - page 389 / 969
» A Calculus for Data Mapping
Sort
View
CGF
2006
155views more  CGF 2006»
15 years 6 months ago
Opacity Peeling for Direct Volume Rendering
The most important technique to visualize 3D scalar data, as they arise e.g. in medicine from tomographic measurement, is direct volume rendering. A transfer function maps the sca...
Christof Rezk-Salama, Andreas Kolb
CVPR
2005
IEEE
16 years 8 months ago
Analytically Solving Radial Distortion Parameters
Most camera calibration algorithms consider parameters that define the lens distortion mapping. The usual way to determine these parameters is to minimize a nonlinear optimization...
Simone Graf, Tobias Hanning
ICPR
2006
IEEE
16 years 8 months ago
Monocular Vision Based SLAM for Mobile Robots
This paper describes a new vision based method for the Simultaneous Localization and Mapping of mobile robots. The only data used is a video input from a moving calibrated monocul...
E. Mouragnon, Fabien Dekeyser, Maxime Lhuillier, M...
WWW
2006
ACM
16 years 7 months ago
Semantic web integration of cultural heritage sources
In this paper, we describe research into the use of ontologies to integrate access to cultural heritage and photographic archives. The use of the CIDOC CRM and CRM Core ontologies...
Patrick A. S. Sinclair, Paul H. Lewis, Kirk Martin...
CADE
2003
Springer
16 years 7 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow