: Estimation of 3D position information from 2D images in computer vision systems can be formulated as a state estimation problem for a nonlinear perspective dynamic system. The mu...
Ola Dahl, Yebin Wang, Alan F. Lynch, Anders Heyden
How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In t...
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
Abstract - Among other proposals to reform the German outpatient health care system the establishment of networks of cooperating physicians (doctors' networks) has found high ...