Sciweavers

2853 search results - page 432 / 571
» On Coherence in Computer Algebra
Sort
View
ICDE
2006
IEEE
222views Database» more  ICDE 2006»
15 years 11 months ago
CLAN: An Algorithm for Mining Closed Cliques from Large Dense Graph Databases
Most previously proposed frequent graph mining algorithms are intended to find the complete set of all frequent, closed subgraphs. However, in many cases only a subset of the freq...
Jianyong Wang, Zhiping Zeng, Lizhu Zhou
MICCAI
2009
Springer
15 years 11 months ago
Diffusion Tensor Field Registration in the Presence of Uncertainty
We propose a novel method for deformable tensor?to?tensor registration of Diffusion Tensor Imaging (DTI) data. Our registration method considers estimated diffusion tensors as norm...
M. Okan Irfanoglu, Cheng Guan Koay, Sinisa Pajev...
MICCAI
2006
Springer
15 years 11 months ago
Towards a Statistical Atlas of Cardiac Fiber Structure
We propose here a framework to build a statistical atlas of diffusion tensors of canine hearts. The anatomical images of seven hearts are first non-rigidly registered in the same r...
Jean-Marc Peyrat, Maxime Sermesant, Xavier Pennec,...
MICCAI
2002
Springer
15 years 11 months ago
Recognizing Deviations from Normalcy for Brain Tumor Segmentation
A framework is proposed for the segmentation of brain tumors from MRI. Instead of training on pathology, the proposed method trains exclusively on healthy tissue. The algorithm att...
David T. Gering, W. Eric L. Grimson, Ron Kikinis
CADE
2008
Springer
15 years 10 months ago
Model Stack for the Pervasive Verification of a Microkernel-based Operating System
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
Jan Dörrenbächer, Matthias Daum, Sebasti...