Abstract— In this paper, we present a multiuser scheduling technique for the MIMO-OFDM system over multipath frequency-selective fading channels to exploit the multiuser, space a...
—We present an algorithm that finds the rotation which best aligns a given configuration of directions on an unsorted set of directions. Using a cost function that we derive in...
Benjamin Huhle, Timo Schairer, Andreas Schilling, ...
Qualitative Reasoning is characterised by making knowledge explicit in order to arrive at efficient reasoning techniques. It contrasts with often intractable quantitative models. W...
The most essential ingredient of interpolation is its basis function. We have shown in previous papers that this basis need not be necessarily interpolating to achieve good result...
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...