Sciweavers

6592 search results - page 1048 / 1319
» On robust cycle bases
Sort
View
DAC
2006
ACM
16 years 7 months ago
SAT sweeping with local observability don't-cares
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto...
173
Voted
MICCAI
2007
Springer
16 years 7 months ago
Combinatorial Optimization for Electrode Labeling of EEG Caps
Abstract. An important issue in electroencephalographiy (EEG) experiments is to measure accurately the three dimensional (3D) positions of the electrodes. We propose a system where...
Jean-Michel Badier, Mickaël Péchaud, R...
MICCAI
2007
Springer
16 years 7 months ago
Non-rigid Image Registration Using Graph-cuts
Non-rigid image registration is an ill-posed yet challenging problem due to its supernormal high degree of freedoms and inherent requirement of smoothness. Graph-cuts method is a p...
Tommy W. H. Tang, Albert C. S. Chung
MICCAI
2007
Springer
16 years 7 months ago
Detection of Spatial Activation Patterns as Unsupervised Segmentation of fMRI Data
In functional connectivity analysis, networks of interest are defined based on correlation with the mean time course of a user-selected `seed' region. In this work we propose ...
Polina Golland, Yulia Golland, Rafael Malach
MICCAI
2007
Springer
16 years 7 months ago
Adaptive Metamorphs Model for 3D Medical Image Segmentation
Abstract. In this paper, we introduce an adaptive model-based segmentation framework, in which edge and region information are integrated and used adaptively while a solid model de...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas,...
« Prev « First page 1048 / 1319 Last » Next »