Suche
Anzeige der Dokumente 31-39 von 39
Aufsatz
Vibrotaktile Codierung von Standardfunktionen einer Menüführung
(2020-03-03)
Tactons sind taktile Nachrichten, die dem Nutzer Informationen über den haptischen Sinneskanal übermitteln, und können beispielsweise bei der Interaktion mit Touchscreens von Nutzen sein. In dieser Studie wird die systematische Erarbeitung eines Tacton-Sets für Standardfunktionen einer Menüführung (im Einzelnen die Funktionen Beenden, Bestätigen, Hauptmenü, Hilfe, Korrektur, Lauter, Leiser sowie Zurück) vorgestellt. Neben existierenden Erkenntnissen aus der Literatur wurden bei der Gestaltung des Tacton-Sets ebenfalls ...
Aufsatz
Hybride Wissensarbeit
(2021-04-30)
Aufgrund der Fortschritte im Bereich der künstlichen Intelligenz (KI) ergeben sich neue Gestaltungsmöglichkeiten zur Reorganisation von Wissensarbeit an der Schnittstelle von Menschen und Maschine. Durch die Verschmelzung von menschlicher und künstlicher Intelligenz können komplementäre Stärken zum Lösen von Arbeitsaufgaben gebündelt werden. Neuartige Wissensarbeitssysteme sind erforderlich, die Wissensarbeitende sowohl bei der Ausübung von Routineaufgaben als auch Nichtroutineaufgaben unterstützen.
Der Schlagwortartikel ...
Aufsatz
Quo Vadis Conferences in the Business and Information Systems Engineering (BISE) Community After Covid
(2021-07-06)
The global Covid-19 pandemic has not only influenced the way we work and collaborate on our research but also how we present and exchange novel contributions at scientific conferences. Governmental lockdowns and (inter)-national travel restrictions have forced conference organizers to move from offline conference venues to virtual platforms quickly. Our discipline, the Business & Information Systems Engineering (BISE) community, is an interdisciplinary field involving the more conference-driven computer sciences and ...
Aufsatz
Augmented-Reality-basierte Assistenz für das Anlernen manueller und roboterunterstützter Montageprozesse
(2021-10-14)
Durch eine zunehmend flexibilisierte Produktion und relativ hohe Personalfluktuation bei einfachen Tätigkeiten wird das Anlernen neuer Mitarbeitender bzw. für neue oder geänderte Produktionsprozesse zunehmend relevanter. Konventionelle Anlernmethoden, bspw. durch Demonstration oder Arbeitspläne, haben Schwächen (bspw. binden sie zusätzliche Arbeitskraft oder sind kognitiv anspruchsvoll), die durch ein Augmented-Reality-(AR-)basiertes Assistenzsystem kompensiert werden können. Ein AR-Assistenzsystem zum Anlernen eines ...
Aufsatz
Social Machines
(2021-11-11)
Social Machines sind ein Paradigma für die Gestaltung soziotechnischer Systeme, die unter Verwendung von Web- und Plattformlösungen das Potenzial digitaler Technologien mit der Eigenlogik sozialer Interaktion, Organisation und Strukturbildung auf neue Weise zusammenführen. Im Folgenden diskutieren wir das Paradigma der Social Machine aus den Perspektiven der Informatik, der Wirtschaftsinformatik, der Soziologie und des Rechts, um Orientierungspunkte für seine Gestaltung zu identifizieren. Der Begriff ist in der ...
Aufsatz
A Survey on Cost Types, Interaction Schemes, and Annotator Performance Models in Selection Algorithms for Active Learning in Classification
(2021-12-14)
Pool-based active learning (AL) aims to optimize the annotation process (i.e., labeling) as the acquisition of annotations is often time-consuming and therefore expensive. For this purpose, an AL strategy queries annotations intelligently from annotators to train a high-performance classification model at a low annotation cost. Traditional AL strategies operate in an idealized framework. They assume a single, omniscient annotator who never gets tired and charges uniformly regardless of query difficulty. However, in ...
Aufsatz
Model checking timed recursive CTL
(2024-04-09)
We introduce Timed Recursive CTL, a merger of two extensions of the well-known branching-time logic CTL: Timed CTL is interpreted over real-time systems like timed automata; Recursive CTL introduces a powerful recursion operator which takes the expressiveness of this logic CTL well beyond that of regular properties. The result is an expressive logic for real-time properties. We show that its model checking problem is decidable over timed automata, namely 2-EXPTIME-complete.
Aufsatz
Physiological data for affective computing in HRI with anthropomorphic service robots: the AFFECT-HRI data set
(2024-04-04)
In human-human and human-robot interaction, the counterpart influences the human’s affective state. Contrary to humans, robots inherently cannot respond empathically, meaning non-beneficial affective reactions cannot be mitigated. Thus, to create a responsible and empathetic human-robot interaction (HRI), involving anthropomorphic service robots, the effect of robot behavior on human affect in HRI must be understood. To contribute to this understanding, we provide the new comprehensive data set AFFECT-HRI, including, ...
Aufsatz
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete
(2023-04-24)
Parametric timed automata (PTA) have been introduced by Alur, Henzinger, and Vardi as an extension of timed automata in which clocks can be compared against parameters. The reachability problem asks for the existence of an assignment of the parameters to the non-negative integers such that reachability holds in the underlying timed automaton. The reachability problem for PTA is long known to be undecidable, already over three parametric clocks. A few years ago, Bundala and Ouaknine proved that for PTA over two ...