Abstract Resource adaptlvity" Because the sets of strucNatural language parsing is conceived to be a procedure of disambiguation, which successively reduces an initially total...
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Abstract. In this paper we propose a structured approach for the simulation of the human body which is comprehensive and extendable. Our architecture resembles the human organism a...
Sebastian Ullrich, Jakob Valvoda, Andreas Prescher...