63 search results - page 9 / 13 » Performance of Taylor Model Methods for Validated Integratio... |
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
AAAI
2006
13 years 9 months ago
2006
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we present a dynamic texture based motion segmentation approach to address the challenging problem of heart localization and segmentation in 4D Spatio-temporal cardi...