The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
The efficient management of complex objects has become an enabling technology for modern multimedia information systems as well as for many novel database applications. Unfortunat...
Hans-Peter Kriegel, Peter Kunath, Martin Pfeifle, ...
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
In this paper, a generic optimization problem arising in supply chain design is modeled in a game theoretic framework and solved as a decentralized problem using a mechanism desig...