Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
Abstract. The complexity of containment and satisfiability of conjunctive queries over finite, unranked, labeled trees is studied with respect to the axes Child, NextSibling, the...
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...
- The required processing performance of embedded processor core is getting higher and higher without increasing power consumption dramatically. In same time, large SoC design has ...
This paper presents the results of a study to gather information on the underlying causes of pen-based target acquisition difficulty. In order to observe both simple and complex i...