3073 search results - page 398 / 615 » Real World Verification |
166
click to vote
SAFECOMP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
168
click to vote
SCALESPACE
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. There is an increasing demand to develop image processing tools for the filtering and analysis of matrix-valued data, so-called matrix fields. In the case of scalar-val...
170
click to vote
SCIA
2007
Springer
16 years 17 days ago
2007
Springer
This paper proposes a fast 3D reconstruction approach for efficiently generating watertight 3D models from multiple short baseline views. Our method is based on the combination of...
179
click to vote
SCIA
2007
Springer
16 years 17 days ago
2007
Springer
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...
180
click to vote
SEKE
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...