This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
Stefan Link, Philip Hoyer, Tilmann Kopp, Sebastian...
A novel method for integrating multiple range images in a multi-view stereo imaging system is presented here. Due to self-occlusion an individual range image provides only a parti...
J. Paul Siebert, Jiahua Wu, Nigel J. B. McFarlane,...
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
Jinlin Chen, Baoyao Zhou, Jin Shi, HongJiang Zhang...