Sciweavers

4949 search results - page 626 / 990
» Consistency and Set Intersection
Sort
View
DAC
2005
ACM
16 years 7 months ago
System-level energy-efficient dynamic task scheduling
Dynamic voltage scaling (DVS) is a well-known low power design technique that reduces the processor energy by slowing down the DVS processor and stretching the task execution time...
Jianli Zhuo, Chaitali Chakrabarti
DAC
2006
ACM
16 years 7 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
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
LOCUS: LOcal Cooperative Unified Segmentation of MRI Brain Scans
Abstract. We propose to carry out cooperatively both tissue and structure segmentations by distributing a set of local and cooperative models in a unified MRF framework. Tissue seg...
Benoit Scherrer, Michel Dojat, Florence Forbes, Ca...
MICCAI
2003
Springer
16 years 7 months ago
An Automatic System for Classification of Nuclear Sclerosis from Slit-Lamp Photographs
A robust and automatic system has been developed to detect the visual axis and extract important feature landmarks from slit-lamp photographs, and objectively grade the severity of...
Shaohua Fan, Charles R. Dyer, Larry Hubbard, Barba...