In this paper, we derive the explicit series expansion of the eigenvalue distribution of various models, namely the case of non-central Wishart distributions as well as one sided c...
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
Abstract. We present a method for automatically segmenting skin lesions by initializing the random walker algorithm with seed points whose properties, such as colour and texture, h...
Paul Wighton, Maryam Sadeghi, Tim K. Lee, M. St...
Abstract. Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of t...
— In this paper, we consider the problem of finding a time-varying controller which can stabilize a decentralized discrete-time system. In continuous-time, it was already known ...
Ciprian Deliu, Anton A. Stoorvogel, Ali Saberi, Sa...