This work presents an auto-completion mechanism for supporting the creation of executable business process models. Currently, process modeling tools provide only little support to ...
Matthias Born, Christian Brelage, Ivan Markovic, D...
Abstract--This paper presents a channel model suitable for multiwire overhead medium voltage lines. This model, incorporating ground admittance, is more appropriate at higher frequ...
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
In this work we propose a model for video scenes that contain temporal variability in shape and appearance. We propose a conditionally linear model akin to a dynamic extension of ...
A Markov random field (MRF) model with a new implementation scheme is proposed for unsupervised image segmentation based on image features. The traditional two-component MRF model...