We present a framework for decision making with circumstance-dependent preferences and decisions. This formalism, called Ordered Choice Logic Programming, allows decisions that comprise multiple alternatives, which become available only when a choice between them is forced. The skeptical semantics is based on answer sets for which we provide a fixpoint characterization and a bottom-up algorithm...

Adaptive bit and power loading schemes in broadband Multiple-Input Multiple-Output (MIMO) systems are generally aiming to maximize the overall system throughput. However, in delay-critical applications such as voice or video streaming, a fixed data rate is crucial. Therefor in this contribution, bit and power allocation schemes in broadband MIMO systems for fixed rate applications are developed...

The development of correct software systems is of highest relevance in software engineering. Various methods have been applied to gain this goal like theorem provers, exhaustive tests, or algebraic specification techniques. In this paper, we propose a new approach for the automatic verification of Haskell programs by combining graph transformation units and SAT solving. Therefor, function equat...

In the last 10{15 years image processing systems have been integrated into industrial manufacturing processes in various ways, for example within the areas of process control and quality assurance. Most of these systems use highly specialized algorithms which suuer from a lack of exibility against changes within the process environment or the given task. In this paper we present SOLUTION, a kno...

A proper learning process can improve student outcomes. Therefore, appropriate models and systems are needed. The LSLC-based Problem Based Learning (PBL) model be used as a solution. This study aims to determine the effect of PBL on outcomes in aspects knowledge, skills, attitudes students atomic structure-nanomaterial. is quasi experimental with randomized posttest only control group design.Wh...

An improved understanding of the Non-Random Two Liquid model can improve correlation vapor liquid equilibrium (VLE) phase behavior beyond trial-and-error approach often employed. This work provides a rigorous, systematic evaluation model’s capabilities to contribute unqualified, component-independent findings and recommendations─a limitation previous studies. First, evaluations isobaric isother...

In this paper we present a framework for learning adaptation knowledge which knowledge light approaches for case-based reasoning (CBR) systems. Knowledge light means that these approaches use already acquired knowledge inside the CBR system. Therefor we describe the sources of knowledge inside a CBR system along the diierent knowledge containers. After that we present our framework in terms of ...

Reinforcement Learning addresses the problem of learning to select actions in unknown environments. Due to the poor performance of Reinforcement Learning in more complex and thus more realistic tasks with large state spaces and sparse reinforcement, much effort is done to speed up learning as well as on finding structure in problem spaces [11, 12]. Models are introduced in order to improve lear...

This working paper experimentally investigates the perception of emotional congruency in multimodal speech synthesis. Therefor two perceptual experiments are described. Experiment 1 is a preliminary test exploring inhowfar subjects are able to identify emotions in synthetic speech as well as in faces presented in short video-clips. Results show that subjects find it easier to recognize emotions...