Sciweavers

2633 search results - page 450 / 527
» Using Robust Methods for Automatic Extraction of Buildings
Sort
View
146
Voted
ICCTA
2007
IEEE
15 years 6 months ago
Register Sharing Verification During Data-Path Synthesis
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sa...
SMI
2010
IEEE
188views Image Analysis» more  SMI 2010»
15 years 27 days ago
Sharp Feature Detection in Point Clouds
—This paper presents a new technique for detecting sharp features on point-sampled geometry. Sharp features of different nature and possessing angles varying from obtuse to acute...
Christopher Weber, Stefanie Hahmann, Hans Hagen
ICIP
2010
IEEE
15 years 15 days ago
A variational multiphase level set approach to simultaneous segmentation and bias correction
This paper presents a novel level set approach to simultaneous tissue segmentation and bias correction of Magnetic Resonance Imaging (MRI) images. We first model the distribution ...
Kaihua Zhang, Lei Zhang, Su Zhang
122
Voted
CAV
2004
Springer
126views Hardware» more  CAV 2004»
15 years 6 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
139
Voted
MICCAI
2006
Springer
16 years 3 months ago
A Nonparametric Bayesian Approach to Detecting Spatial Activation Patterns in fMRI Data
Traditional techniques for statistical fMRI analysis are often based on thresholding of individual voxel values or averaging voxel values over a region of interest. In this paper w...
Hal S. Stern, Padhraic Smyth, Seyoung Kim