Abstract. We present a generalization of the Perceptron algorithm. The new algorithm performs a Perceptron-style update whenever the margin of an example is smaller than a predefi...
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
We prove the first general and non-trivial lower bound for the number of times a 1-out-of-n Oblivious Transfer of strings of length should be invoked so as to obtain, by an inform...
We present a wizard of Oz framework for the simulation of locationbased mobile games. We explore briefly the methodological concept of Wizard of Oz and show, based on a case study...
Regina Bernhaupt, Stefan Jenisch, York Keyser, Man...