Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
In this paper, we describe lexical rule-based approach to affect sensing from text, and application of the developed Affect Analysis Model in 3D virtual world Second Life. To enric...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
Shaded relief derived automatically from digital elevation models differs distinctly from traditional manual shading. Particularly at small scales, many small topographic details ...