514 search results - page 53 / 103 » Comparison of Face-To-Face and Distributed Presentations |
147
click to vote
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
This work presents a formal probabilistic approach for solving optimization problems in design automation. Prediction accuracy is very low especially at high levels of design flo...
148
click to vote
BILDMED
2009
15 years 5 months ago
2009
We propose an automatic region growing technique for the segmentation of the cerebral cortex and white matter in MRI data. Our method exploits general anatomical knowledge and uses...
163
Voted
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Many computer vision and image processing tasks require the preservation of local discontinuities, terminations and bifurcations. Denoising with feature preservation is a challeng...
131
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
Multi-core architectures have received significant interest as thermal and power consumption problems limit further increase of speed in single-cores. In the multi-core research ...
131
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...