Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
This paper addresses the problem of estimating human body pose in static images. This problem is challenging due to the high dimensional state space of body poses, the presence of...
This paper presents a framework to automatically detect and recover the occluded facial region. We first derive a Bayesian formulation unifying the occlusion detection and recover...
In this paper, we propose a hybrid approach for the automatic three-dimensional segmentation of coronary arteries using multi-scale vessel filtering and a Bayesian probabilistic ...
Yan Yang, Allen Tannenbaum, Don P. Giddens, Arthur...