SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan K...
The characteristic scores and scales (CSS), introduced by Glänzel and Schubert [Journal of Information Science 14, 123-127, 1988] and further studied in subsequent papers of Glä...
Hand segmentation is the basis of many vision-based hand gesture applications in human computer interaction (HCI). This paper proposes a novel method of skin color weighted dispar...
A report on the experiments carried out with our robot in the Emotirob project is given in this paper, in which we show how we build emotion and personality in the robot. With chi...
In this note, authors reply the comments on our previous work [Chen and Jiao, `finite-time stability theorem of stochastic nonlinear systems', Automatica, 46(2010), 2105-2108...