Now showing items 111-116 of 116
CactoSim simulation framework initial prototype: project deliverable D6.1
(Universität Ulm, 2017-04-21)
This deliverable provides supporting documentation for the official deliverable D6.1, the initial release of the CactoSim simulation framework. It presents the reader with the scope of the deliverable, initial requirements ...
Workshop preparation: project deliverable D2.6
(Universität Ulm, 2017-04-20)
This report sets out the preparation work for delivering a CACTOS workshop at ICT 2015 (20 – 22 October 2015), Lisbon. The objectives of the workshop are set out, as is the process for researching, identifying and selecting ...
Project website: project deliverable D2.1
(Universität Ulm, 2017-04-19)
This document details the CACTOS project website. The dedicated project website hosts information about the project, such as general project data, relevant news & events and downloadable information to show project activities ...
Top-down parsing with simultaneous evaluation of noncircular attribute grammars
This paper introduces a machinery called attributed top-down parsing automaton which performs top-down parsing of strings and simultaneously the evaluation of arbitrary noncircular attribute grarnrnars. The strategy of the ...
"Relative termination" is a property that generalizes both termination and "termination modulo". In order to prove that a term rewrite system relatively terminates, one may reuse the common termination quasiorderings. ...
A companion-system architecture for realizing individualized and situation-adaptive user assistance
(Universität Ulm, 2018-12-19)
We show how techniques from various research areas – most notably hierarchical planning, dialog management, and interaction management – can be employed to realize individualized and situation-adaptive user assistance. We ...