—This paper studies the cardiovascular response under heart failure condition supported by two types of ventricular assist devices (VADs): the positive displacement pump and the ...
Sparse graphical models have proven to be a flexible class of multivariate probability models for approximating high-dimensional distributions. In this paper, we propose techniques...
Vincent Y. F. Tan, Sujay Sanghavi, John W. Fisher ...
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
Previous studies on multi-instance learning typically treated instances in the bags as independently and identically distributed. The instances in a bag, however, are rarely indep...
A novel method is developed to obtain a refined estimate of relative position and orientation (pose) from two views captured by a calibrated monocular camera. Due to the typically ...
Siddhartha S. Mehta, Prabir Barooah, Sara Susca, W...