The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
In this paper, intelligent perception-based systems are proposed in application to medical diagnosis problems. The systems are created by use of connectionist neurofuzzy architect...
Spoken dialogue system performance can vary widely for different users, as well for the same user during different dialogues. This paper presents the design and evaluation of an a...
It is shown that, for any time-invariant exponentially stable linear system with additive disturbances, time-varying exponentially stable interval observers can be constructed. Th...
We see cut-free sequent systems for the basic normal modal logics formed by any combination the axioms d, t, b, 4, 5. These systems are modular in the sense that each axiom has a c...