593 search results - page 6 / 119 » Semantics-Preserving Procedure Extraction |
101
click to vote
CVPR
1997
IEEE
16 years 2 months ago
1997
IEEE
In geometrical camera calibration the objective is to determine a set of camera parameters that describe the mapping between 3-D reference coordinates and 2-D image coordinates. V...
97
Voted
CARS
2001
15 years 1 months ago
2001
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
105
Voted
IKE
2010
14 years 10 months ago
2010
: Over the years, DataWarehousing has gone through a number of evolutions from a relatively simple reporting database to sophisticated analytical applications such as analyzing cus...
104
click to vote
ISBI
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper describes a novel method for calibration of freehand three-dimensional (3D) ultrasound. A position sensor is mounted on a conventional ultrasound probe, thus the set of...
104
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...