Sciweavers

3201 search results - page 275 / 641
» High Quality Hatching
Sort
View
DAC
2000
ACM
16 years 7 months ago
Efficient variable ordering using aBDD based sampling
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro ...
162
Voted
DAC
2004
ACM
16 years 7 months ago
Multiple constant multiplication by time-multiplexed mapping of addition chains
An important primitive in the hardware implementations of linear DSP transforms is a circuit that can multiply an input value by one of several different preset constants. We prop...
James C. Hoe, Markus Püschel, Peter Tummeltsh...
MICCAI
2005
Springer
16 years 7 months ago
Incorporating Statistical Measures of Anatomical Variability in Atlas-to-Subject Registration for Conformal Brain Radiotherapy
Deforming a digital atlas towards a patient image allows the simultaneous segmentation of several structures. Such an intersubject registration is difficult as the deformations to ...
Grégoire Malandain, Nicholas Ayache, Olivie...
MICCAI
2005
Springer
16 years 7 months ago
A Unifying Approach to Registration, Segmentation, and Intensity Correction
We present a statistical framework that combines the registration of an atlas with the segmentation of magnetic resonance images. We use an Expectation Maximization-based algorithm...
Kilian M. Pohl, John W. Fisher III, James J. Levit...
ICML
2009
IEEE
16 years 7 months ago
Ranking interesting subgroups
Subgroup discovery is the task of identifying the top k patterns in a database with most significant deviation in the distribution of a target attribute Y . Subgroup discovery is ...
Stefan Rueping