![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
105 Result(s)
-
Chapter and Conference Paper
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
Deep Reinforcement Learning (DRL) has demonstrated its strength in develo** intelligent systems. These systems shall be formally guaranteed to be trustworthy when applied to safety-critical domains, which is...
-
Chapter and Conference Paper
Correction to: MultiMedia Modeling
The original version of this book was revised. Due to a technical error, the first volume editor did not appear in the volumes of the MMM 2020 proceedings. This was corrected and the first volume editor was ad...
-
Chapter and Conference Paper
Correction to: MultiMedia Modeling
The original version of this book was revised. Due to a technical error, the first volume editor did not appear in the volumes of the MMM 2020 proceedings. A funding number was missing in the acknowledgement s...
-
Chapter and Conference Paper
Improving Multi-turn Response Selection Models with Complementary Last-Utterance Selection by Instance Weighting
Open-domain retrieval-based dialogue systems require a considerable amount of training data to learn their parameters. However, in practice, the negative samples of training data are usually selected from an u...
-
Chapter and Conference Paper
An Approach for Process Model Extraction by Multi-grained Text Classification
Process model extraction (PME) is a recently emerged interdiscipline between natural language processing (NLP) and business process management (BPM), which aims to extract process models from textual descripti...
-
Chapter and Conference Paper
SOS-EW: System for Overdose Spike Early Warning Using Drug Mover’s Distance-Based Hawkes Processes
Opioid addictions and overdoses have increased across the U.S. and internationally over the past decade. In urban environments, overdoses cluster in space and time, with 50% of overdoses occurring in less tha...
-
Chapter and Conference Paper
Correction to: MultiMedia Modeling
In the original version of the book, the following belated corrections have been incorporated:
-
Chapter and Conference Paper
Roster and Air Traffic Controller’s Situation Awareness
Fatigue has been identified as a leading contributor to incidents and accidents within high-risk industries, in particular, the aviation sector. Traditional approaches used to mitigate fatigue, predominantly f...
-
Chapter and Conference Paper
Applicability Study of Eye Movement Menu based on Analytic Hierarchy Process
Eye movement interaction is more natural and intelligent than traditional input by mouse and keyboard, and has a wide range of application scenarios. Menu, as an important user input and selection mechanism, ...
-
Chapter and Conference Paper
The Clothing Design for the Elderly Care
The physiological functions of the elderly will gradually degenerate with age, and their daily life will require special care as well. With the aging population around the globe, the elderly population has inc...
-
Chapter and Conference Paper
Upstream, Downstream or Competitor? Detecting Company Relations for Commercial Activities
Due to intricate network in industry business and high cost of supervision, financial institutions usually focus on supervising core enterprises in a supply chain instead of all corporations, which indirectly ...
-
Chapter and Conference Paper
Enhancing Aviation Simulator de-Briefs Through the Integration of Student Eye Tracking: The Instructor’s Perspective
Many research papers investigate the benefits to a pilot of eye tracking (ET) in training [1, 2]. None however, explore the efficacy of ET training from an instructor’s perspective, specifically relating to train...
-
Chapter and Conference Paper
What Do Users like About Smart Bottle? Insights for Designers
Water plays a major role in our digestion, absorption, transportation and use of nutrients. Research has shown that inadequate water consumption can cause health risk of urinary stone disease, cancers, salivar...
-
Chapter and Conference Paper
Blending Polyhedral Edge Clusters
This paper presents an efficient method for blending edge clusters on polyhedra, where an edge cluster means a set of polyhedral edges connected together by polyhedral vertices. It extends the vertex-first alg...
-
Chapter and Conference Paper
A Mechanised Proof of an Adaptive State Counting Algorithm
In this paper it is demonstrated that the capabilities of state-of-the-art proof assistant tools are sufficient to present mechanised and, at the same time, human-readable proofs establishing completeness prop...
-
Chapter and Conference Paper
Implicit Linking of Food Entities in Social Media
Dining is an important part in people’s lives and this explains why food-related microblogs and reviews are popular in social media. Identifying food entities in food-related posts is important to food lover p...
-
Chapter and Conference Paper
How Flow and Mindfulness Interact with Each Other in Different Types of Mandala Coloring Activities?
Mandala coloring has been receiving increasing attention in the literature and throughout popular culture. Previous research also indicated that high level of mindfulness may increase flow experience. The lite...
-
Chapter and Conference Paper
Study on Spatiotemporal Characteristics of Gaze Gesture Input
The gaze gesture input has the advantages of high bandwidth, high efficiency, no misoperation and high customization, but it also has the disadvantages of high cognitive load and high fatigue degree. At prese...
-
Chapter and Conference Paper
Effects of Mandala Coloring on Mindfulness, Spirituality, and Subjective Well-Being
This study investigated the effects of Mandala coloring on subjective well-being, mindfulness, and spirituality, and the relationship between mindfulness, spirituality and subjective well-being. Methods: Recru...
-
Chapter and Conference Paper
Usability Testing of a Mobile Application for Alleviating Postpartum Emotional Disorders: A Case of We’ll
Postpartum emotional disorders depending on the severity of symptoms can be divided into postpartum blues, postpartum depression, and postpartum psychosis. Those who develop severe symptoms may intend to commi...