Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
Abstract. In the future it is likely that peer communities will be routinely established for the purpose of sharing electronic resources and targeted information among groups of pe...
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Abstract. This paper presents an approach to increase the robustness of Active Appearance Models (AAMs) within the scope of humanrobotinteraction. Due to unknown environments with ...
Ronny Stricker, Christian Martin, Horst-Michael Gr...