Abstract. Retrieving semistructured (XML) data typically requires either a structured query such as XPath, or a keyword query that does not take structure into account. In this pap...
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
Actuated car doors are a promising way to increase the convenience of access to cars. In this paper, an advanced door concept which can easily be integrated into conventional car ...
Michael Strolz, Alexander Mortl, Michael Graf, Mar...
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...
Adriana J. Berlanga, Marco Kalz, Slavi Stoyanov, P...
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...