Sciweavers

1130 search results - page 182 / 226
» Multiple Instance Regression
Sort
View
CAV
2004
Springer
126views Hardware» more  CAV 2004»
13 years 11 months ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
Kedar S. Namjoshi
RT
1998
Springer
13 years 11 months ago
Canned Lightsources
Complex luminaries and lamp geometries can greatly increase the realism of synthetic images. Unfortunately, the correct rendering of illumination from complex lamps requires costly...
Wolfgang Heidrich, Jan Kautz, Philipp Slusallek, H...
CVRMED
1995
Springer
13 years 11 months ago
Medical Image Segmentation Using Topologically Adaptable Snakes
This paper presents a technique for the segmentation of anatomic structures in medical images using a topologically adaptable snakes model. The model is set in the framework of dom...
Tim McInerney, Demetri Terzopoulos
ICCV
1995
IEEE
13 years 11 months ago
Locating Objects Using the Hausdorff Distance
The Hausdorff distance is a measure defined between two point sets, here representing a model and an image. The Hausdorff distance is reliable even when the image contains multipl...
William Rucklidge
KDD
1995
ACM
129views Data Mining» more  KDD 1995»
13 years 11 months ago
Feature Extraction for Massive Data Mining
Techniques for learning from data typically require data to be in standard form. Measurements must be encoded in a numerical format such as binary true-or-false features, numerica...
V. Seshadri, Raguram Sasisekharan, Sholom M. Weiss