781 search results - page 105 / 157 » Automatic Formal Model Generation and Analysis of SDL |
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
CMG
2001
13 years 9 months ago
2001
Rapid advances in research and technology now allow data analysis and modeling of extremely complex systems. Methods from artificial intelligence (AI) such as Neural Networks have...
FPL
2007
Springer
14 years 1 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We present a new approach to model and classify breast parenchymal tissue. Given a mammogram, first, we will discover the distribution of the different tissue densities in an unsu...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
This paper presents a novel segmentation approach featuring shape constraints of multiple structures. A framework is developed combining statistical shape modeling with a maximum a...