Sciweavers

1535 search results - page 99 / 307
» Lazy Shape Analysis
Sort
View
CBMS
2003
IEEE
14 years 1 months ago
An Imaging System Correlating Lip Shapes with Tongue Contact Patterns for Speech Pathology Research
In this research, an imaging system was built to work with a newly developed electronic device to help people produce sounds correctly. The system consists of two parts, the inter...
D. J. Lee, Daniel Bates, Christopher Dromey, Xiaoq...
ICCV
2007
IEEE
14 years 10 months ago
Population Shape Regression From Random Design Data
Regression analysis is a powerful tool for the study of changes in a dependent variable as a function of an independent regressor variable, and in particular it is applicable to t...
Bradley C. Davis, P. Thomas Fletcher, Elizabeth Bu...
VIS
2008
IEEE
162views Visualization» more  VIS 2008»
14 years 9 months ago
Geodesic Distance-weighted Shape Vector Image Diffusion
Abstract--This paper presents a novel and efficient surface matching and visualization framework through the geodesic distanceweighted shape vector image diffusion. Based on confor...
Jing Hua, Zhaoqiang Lai, Ming Dong, Xianfeng Gu...
FBIT
2007
IEEE
14 years 1 days ago
Mapping Genetic Influences on Brain Shape Using Multi-Atlas Fluid Image Alignment
In this pilot study, we developed a set of computer vision based surface segmentation and statistical shape analysis algorithms to study genetic influences on brain structure in a...
Meena Mani, Yi-Yu Chou, Natasha Lepore, Agatha D. ...
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
14 years 1 months ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies