Sciweavers

2182 search results - page 23 / 437
» A pretopological approach for structural analysis
Sort
View
DFG
2004
Springer
15 years 3 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
ICDAR
2003
IEEE
15 years 2 months ago
A Fast Multifunctional Approach for Document Image Analysis
Collinear arrangement of objects (such as, text elements or continuous lines) is integral part of any office document image, whether structured or unstructured. The ability to ana...
Abhishek Gattani, Maitrayee Mukerji, Hareish Gu
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 4 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
ICIP
2006
IEEE
15 years 11 months ago
An Approach for Intersubject Analysis of 3D Brain Images Based on Conformal Geometry
Recent advances in imaging technologies, such as Magnetic Resonance Imaging (MRI), Positron Emission Tomography (PET) and Diffusion Tensor Imaging (DTI) have accelerated brain res...
Guangyu Zou, Jing Hua, Xianfeng Gu, Otto Muzik
93
Voted
DAC
2004
ACM
15 years 3 months ago
Hierarchical approach to exact symbolic analysis of large analog circuits
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi