Sciweavers

2210 search results - page 182 / 442
» CLEF 2001 - Overview of Results
Sort
View
DAC
2001
ACM
16 years 7 months ago
Circuit-based Boolean Reasoning
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
DAC
2001
ACM
16 years 7 months ago
Coupling-Driven Bus Design for Low-Power Application-Specific Systems
In modern embedded systems including communication and multimedia applications, large fraction of power is consumed during memory access and data transfer. Thus, buses should be d...
Youngsoo Shin, Takayasu Sakurai
DAC
2001
ACM
16 years 7 months ago
Improved Cut Sequences for Partitioning Based Placement
Recursive partitioning based placement has a long history, but there has been little consensus on how cut sequences should be chosen. In this paper, we present a dynamic programmi...
Mehmet Can Yildiz, Patrick H. Madden
IPMI
2001
Springer
16 years 7 months ago
Partial Volume Segmentation of Cerebral MRI Scans with Mixture Model Clustering
A mixture model clustering algorithm is presented for robust MRI brain image segmentation in the presence of partial volume averaging. The method uses additional classes to represe...
Aljaz Noe, James C. Gee
IPMI
2001
Springer
16 years 7 months ago
Estimation of Baseline Drifts in fMRI
This work provides a new method to estimate and remove baseline drifts in the fMRI signal. The baseline drift in each time series is described as a superposition of physical and ph...
François G. Meyer, Gregory McCarthy