Sciweavers

2610 search results - page 431 / 522
» Computational Probabilistic Non-interference
Sort
View
DAC
2005
ACM
16 years 1 months ago
An efficient algorithm for statistical minimization of total power under timing yield constraints
Power minimization under variability is formulated as a rigorous statistical robust optimization program with a guarantee of power and timing yields. Both power and timing metrics...
Murari Mani, Anirudh Devgan, Michael Orshansky
72
Voted
MICCAI
2007
Springer
16 years 1 months ago
Effects of Registration Regularization and Atlas Sharpness on Segmentation Accuracy
In this paper, we propose a unified framework for computing atlases from manually labeled data at various degrees of "sharpness" and the joint registration-segmentation o...
B. T. Thomas Yeo, Mert R. Sabuncu, Rahul Desikan, ...
91
Voted
MICCAI
2004
Springer
16 years 1 months ago
: Multi-subject Registration for Unbiased Statistical Atlas Construction
This paper introduces a new similarity measure designed to bring a population of segmented subjects into alignment in a common coordinate system. Our metric aligns each subject wit...
Mathieu De Craene, Aloys du Bois d'Aische, Beno&ic...
ICML
2005
IEEE
16 years 1 months ago
Learning the structure of Markov logic networks
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...
Stanley Kok, Pedro Domingos
ICML
2003
IEEE
16 years 1 months ago
Unsupervised Learning with Permuted Data
We consider the problem of unsupervised learning from a matrix of data vectors where in each row the observed values are randomly permuted in an unknown fashion. Such problems ari...
Sergey Kirshner, Sridevi Parise, Padhraic Smyth