Sciweavers

193 search results - page 17 / 39
» Shape Analysis for Composite Data Structures
Sort
View
CSFW
2004
IEEE
14 years 11 days ago
Secure Information Flow by Self-Composition
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
ICCV
2007
IEEE
14 years 10 months ago
Lung Nodule Growth Analysis from 3D CT Data with a Coupled Segmentation and Registration Framework
In this paper we propose a new framework to simultaneously segment and register lung and tumor in serial CT data. Our method assumes nonrigid transformation on lung deformation an...
Yuanjie Zheng, Karl Steiner, Thomas Bauer, Jingyi ...
BMCBI
2005
161views more  BMCBI 2005»
13 years 8 months ago
Non-linear mapping for exploratory data analysis in functional genomics
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
Francisco Azuaje, Haiying Wang, Alban Chesneau
CORR
2004
Springer
119views Education» more  CORR 2004»
13 years 8 months ago
On Role Logic
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
Viktor Kuncak, Martin C. Rinard
IPMI
2005
Springer
14 years 2 months ago
Cortical Surface Alignment Using Geometry Driven Multispectral Optical Flow
Spatial normalization is frequently used to map data to a standard coordinate system by removing inter-subject morphological differences, thereby allowing for group analysis to be ...
Duygu Tosun, Jerry L. Prince