Sciweavers

1140 search results - page 93 / 228
» A Model Driven Framework for IT Transformation
Sort
View
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 10 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
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...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
COMPSAC
2008
IEEE
16 years 24 days ago
Framework for Computer-Aided Evolution of Object-Oriented Designs
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...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
CVPR
2004
IEEE
16 years 8 months ago
Proposal Maps Driven MCMC for Estimating Human Body Pose in Static Images
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...
Mun Wai Lee, Isaac Cohen
CVPR
2007
IEEE
16 years 8 months ago
Quality-Driven Face Occlusion Detection and Recovery
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...
Dahua Lin, Xiaoou Tang
ISBI
2007
IEEE
16 years 19 days ago
Automatic Segmentation of Coronary Arteries Using Bayesian Driven Implicit Surfaces
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...