Sciweavers

3954 search results - page 591 / 791
» Image-based Model Completion
Sort
View
ISBI
2004
IEEE
16 years 4 months ago
Enhancement of Microtubules In EM Tomography
The interpretation of the EM tomography of microtubules is challenging due to the low SNR and low contrast of the volume data. Therefore, image enhancement is crucial for the subs...
Ming Jiang 0004, Qiang Ji, Bruce F. McEwen
131
Voted
ISBI
2008
IEEE
16 years 4 months ago
Real-time segmentation of 4D ultrasound by Active Geometric Functions
Four-dimensional ultrasound based on matrix phased array transducers can capture the complex 4D cardiac motion in a complete and real-time fashion. However, the large amount of in...
Qi Duan, Elsa D. Angelini, Shunichi Homma, Andrew ...
131
Voted
WWW
2008
ACM
16 years 4 months ago
Querying for meta knowledge
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
Bernhard Schueler, Sergej Sizov, Steffen Staab, Du...
125
Voted
STOC
2009
ACM
133views Algorithms» more  STOC 2009»
16 years 4 months ago
Near-perfect load balancing by randomized rounding
We consider and analyze a new algorithm for balancing indivisible loads on a distributed network with n processors. The aim is minimizing the discrepancy between the maximum and m...
Tobias Friedrich, Thomas Sauerwald
COORDINATION
2009
Springer
16 years 4 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti