Refine
H-BRS Bibliography
- yes (1017) (remove)
Departments, institutes and facilities
- Fachbereich Informatik (574)
- Fachbereich Ingenieurwissenschaften und Kommunikation (210)
- Institute of Visual Computing (IVC) (208)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (194)
- Fachbereich Wirtschaftswissenschaften (121)
- Fachbereich Angewandte Naturwissenschaften (75)
- Institut für Verbraucherinformatik (IVI) (72)
- Institut für Cyber Security & Privacy (ICSP) (70)
- Fachbereich Sozialpolitik und Soziale Sicherung (39)
- Institut für Sicherheitsforschung (ISF) (33)
Document Type
- Conference Object (1017) (remove)
Year of publication
Has Fulltext
- no (1017) (remove)
Keywords
- FPGA (11)
- Virtual Reality (9)
- Machine Learning (7)
- Robotics (7)
- User Experience (6)
- CUDA (5)
- Education (5)
- Usable Privacy (5)
- machine learning (5)
- 3D user interface (4)
Communicating Sequential Processes (CSP) [7] is a calculus for concurrent systems that has been the basis of subject-oriented business process management (S-BPM) [4]. We use CSPm -- a machine readable dialect of CSP -- to create a sequence of models for a case study on an "Automated Teller Machine" [1]. We use the refinement checker FDR2 to prove that certain models are correct implementations of specifications.
Die Vielzahl der Möglichkeiten, um mit Kunden in den Dialog zu treten, ist erheblich gestiegen. Unternehmen sind deshalb gefordert, die verschiedenen Kontaktkanäle mit ihren Kunden systematisch zu managen. Im Mittelpunkt steht dabei der Informations- und Entscheidungsprozess des Kunden, der als Customer Journey bezeichnet wird. Diese Journey ist definiert als Prozess zwischen dem ersten Kaufimpuls und der Kaufentscheidung. Dieser Prozess ist charakterisiert von der Nutzung verschiedener Medien bzw. Kontaktkanäle. Kunden nutzen die Kontaktkanäle, die ihnen in der aktuellen Situation als sehr einfach bzw. bequem erscheinen und zu ihren spezifischen Anliegen (Fragen zum Produkt, Bestellung etc.) passen. Erfahrungen zeigen, dass sich zwar Grundmuster identifizieren lassen, ansonsten die Wege der Kunden jedoch sehr individuell sein können.
We present GEM-NI -- a graph-based generative-design tool that supports parallel exploration of alternative designs. Producing alternatives is a key feature of creative work, yet it is not strongly supported in most extant tools. GEM-NI enables various forms of exploration with alternatives such as parallel editing, recalling history, branching, merging, comparing, and Cartesian products of and for alternatives. Further, GEM-NI provides a modal graphical user interface and a design gallery, which both allow designers to control and manage their design exploration. We conducted an exploratory user study followed by in-depth one-on-one interviews with moderately and highly skills participants and obtained positive feedback for the system features, showing that GEM-NI supports creative design work well.
Die Rückkehr ins Erwerbsleben (Return to Work, RTW) wird für onkologische Rehabilitanden zunehmend zum zentralen Behandlungsziel, wodurch auch die Bereitstellung spezifischer berufsorientierter Maßnahmen an Bedeutung gewinnt (z. B. Mehnert, Koch, 2012). Die Überprüfung der Behandlungsergebnisse solcher Maßnahmen stellt einen wichtigen Baustein des Qualitätsmanagements der Rehabilitationseinrichtungen dar. Im Rahmen der „Reha-QM-Outcome-Studie“ des Qualitätsverbundes Gesundheit und der Deutschen Rentenversicherung Baden-Württemberg (Nübling et al., 2014) wurde daher ein besonderes Augenmerk auf das Outcome und die RTW-Quote der onkologischen Patienten, auch im Vergleich zu anderen Hauptindikationen, gelegt.
Work in progress: Starter-project for first semester students to survey their engineering studies
(2015)
The ability to track moving people is a key aspect of autonomous robot systems in real-world environments. Whilst for many tasks knowing the approximate positions of people may be sufficient, the ability to identify unique people is needed to accurately count people in the real world. To accomplish the people counting task, a robust system for people detection, tracking and identification is needed.
Robots, which are able to carry out their tasks robustly in real world environments, are not only desirable but necessary if we want them to be more welcome for a wider audience. But very often they may fail to execute their actions successfully because of insufficient information about behaviour of objects used in the actions.
This work describes extensions to the well-known Distributed Coordination Function (DCF) model to account for IEEE802.11n point-to-point links. The developed extensions cover adaptions to the throughput and delay estimation for this type of link as well peculiarities of hardware and implementations within the Linux Kernel. Instead of using simulations, the approach was extensively verified on real-world deployments at various link distances. Additionally, trials were conducted to optimize the CWmin values and the number of retries to maximize throughput and minimize delay. The results of this work can be used to estimate the properties of long-distance 802.11 links beforehand, allowing the network to be planned more accurately.
Improving Robustness of Task Execution Against External Faults Using Simulation Based Approach
(2013)
Robots interacting in complex and cluttered environments may face unexpected situations referred to as external faults which prohibit the successful completion of their tasks. In order to function in a more robust manner, robots need to recognise these faults and learn how to deal with them in the future. We present a simulation-based technique to avoid external faults occurring during execusion releasing actions of a robot. Our technique utilizes simulation to generate a set of labeled examples which are used by a histogram algorithm to compute a safe region. A safe region consists of a set of releasing states of an object that correspond to successful performances of the action. This technique also suggests a general solution to avoid the occurrence of external faults for not only the current, observable object but also for any other object of the same shape but different size.
We developed a scene text recognition system with active vision capabilities, namely: auto-focus, adaptive aperture control and auto-zoom. Our localization system is able to delimit text regions in images with complex backgrounds, and is based on an attentional cascade, asymmetric adaboost, decision trees and Gaussian mixture models. We think that text could become a valuable source of semantic information for robots, and we aim to raise interest in it within the robotics community. Moreover, thanks to the robot’s pan-tilt-zoom camera and to the active vision behaviors, the robot can use its affordances to overcome hindrances to the performance of the perceptual task. Detrimental conditions, such as poor illumination, blur, low resolution, etc. are very hard to deal with once an image has been captured and can often be prevented. We evaluated the localization algorithm on a public dataset and one of our own with encouraging results. Furthermore, we offer an interesting experiment in active vision, which makes us consider that active sensing in general should be considered early on when addressing complex perceptual problems in embodied agents.