Sciweavers

3208 search results - page 340 / 642
» Methods and views
Sort
View
ISBI
2008
IEEE
16 years 7 months ago
AutoMPR: Automatic detection of standard planes in 3D echocardiography
3D echocardiography is one of the emerging real-time imaging modalities that is increasingly used in clinical practice to assess cardiac function. It provides for evaluation a mor...
Xiaoguang Lu, Bogdan Georgescu, Yefeng Zheng, Joan...
ISBI
2008
IEEE
16 years 7 months ago
Acoustic shadows detection, application to accurate reconstruction of 3D intraoperative ultrasound
Acoustic shadows appear in ultrasound images as regions of low signal intensity after boundaries with very high acoustic impedance differences. Acoustic shadows can be viewed as i...
D. Louis Collins, Pierre Hellier, Pierre Meyer, Pi...
WWW
2009
ACM
16 years 7 months ago
Graffiti: node labeling in heterogeneous networks
We introduce a multi-label classification model and algorithm for labeling heterogeneous networks, where nodes belong to different types and different types have different sets of...
Ralitsa Angelova, Gjergji Kasneci, Fabian M. Sucha...
WWW
2003
ACM
16 years 7 months ago
Three theses of representation in the semantic web
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
Ian Horrocks, Peter F. Patel-Schneider
CAV
2009
Springer
218views Hardware» more  CAV 2009»
16 years 7 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken