— A geometrical approach to quadratic Lyapunov stability for the class of switched linear systems which share a common invariant subspace is contributed in this article. The robu...
Abstract—In this paper, we present an evaluation of the mqrtree as a spatial access method for handling high-density point regions, such as world co-ordinates. Although previous ...
—This paper proposes an algorithm for automatic detection of 3D video shots with different perceptual features. The proposed algorithm is able to identify distinct three-dimensio...
Let S be a set of n points in the plane. We present data structures that solve range-aggregate query problems on three geometric extent measure problems. Using these data structur...
Peter Brass, Christian Knauer, Chan-Su Shin, Michi...
We present an effect system for algebraic effects and handlers. Because handlers may transform an effectful computation into a pure one, the effect system is non-monotone in the s...