3342 search results - page 438 / 669 » Symbolic Robustness Analysis |
130
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Cardiac catheter ablation is a minimally invasive medical procedure to treat patients with heart rhythm disorders. It is useful to know the positions of the catheters and electrode...
170
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We consider a setting for discriminative semisupervised learning where unlabeled data are used with a generative model to learn effective feature representations for discriminativ...
167
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
An elastographic reconstruction method has been developed to recover the material properties of soft tissue by modelbased analysis of image data acquired at different states of me...
133
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Mobile internet technologies, such as WAP, are important for pervasive, anytime, anywhere computing. Although much progress has been made in terms of technological innovation, man...
143
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
Semidefinite programs (SDP) have been used in many recent approximation algorithms. We develop a general primal-dual approach to solve SDPs using a generalization of the well-know...