115 Result(s)
-
Chapter and Conference Paper
Correction to: Research on Conversational Interaction Design Strategy of Shop** APP Based on Context Awareness
-
Chapter and Conference Paper
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)
We present a theory of Cartesian arrays, which are multi-dimensional arrays with support for the projection of arrays to sub-arrays, as well as for updating sub-arrays. The resulting logic is an extension of C...
-
Chapter and Conference Paper
AutoQ: An Automata-Based Quantum Circuit Verifier
We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [14] and extends it with the capabilit...
-
Chapter
Towards Explainability for AI Fairness
AI explainability is becoming indispensable to allow users to gain insights into the AI system’s decision-making process. Meanwhile, fairness is another rising concern that algorithmic predictions may be misal...
-
Chapter and Conference Paper
Correction to: Crossed-Time Delay Neural Network for Speaker Recognition
The book was inadvertently published with a typo in the third author’s name “**aoshu Shi”, i.e., an extra “s” was added whereas it should have read “**aohu Shi”. This has been now corrected with the erratum.
-
Chapter and Conference Paper
Visual Compiler: Towards Translating Digital UI Design Draft to Front-End Code Automatically
One assignment of a front-end engineer is to transform the User Interface (UI) design drafts to arrangements with program compatibilities. To furnish the customer requirement, engineers usually need to consid...
-
Chapter and Conference Paper
Construction of Airlines Safety Subculture Based on Human Factor Analysis
Airlines safety culture is composed of many elements, which can be called subculture or branch of safety culture. The human factors that lead to unsafe incidents in airlines were analyzed, mainly including vio...
-
Chapter and Conference Paper
Off-Policy Recommendation System Without Exploration
Recommendation System (RS) can be treated as an intelligent agent which aims to generate policy maximizing customers’ long term satisfaction. Off-policy reinforcement learning methods based on Q-learning and a...
-
Chapter and Conference Paper
Safety Performance-Based Risk Assessment for Aviation Fuel Supply of Civil Aviation
With the wide implementation of safety management system in civil aviation industry, the implementation efficiency of safety management system has been paid more and more attentions. Safety performance managem...
-
Chapter and Conference Paper
Investigating the Role of Politeness in Human-Human Online Tutoring
This study aims to investigate the role of politeness in online-tutoring practices by analyzing a large-scale human-human tutorial dialogue dataset. To this end, we employed linguistic theories of politeness t...
-
Chapter and Conference Paper
Design Method of Online Health Education with Service Interaction System for the Elderly
The demand for elderly health education and health counseling is increasing and the quality of health services for the elderly needs to be improved. Therefore, the purpose of this study is to explore the fact...
-
Chapter and Conference Paper
Comprehensive Evaluation of an Educational Information Management Solution for Parents: MyStudentScope
Existing electronic student information systems used by schools were designed from the perspective of the educators or students, not the parents. Parents and caregivers have challenges optimizing their use of ...
-
Chapter and Conference Paper
A Genetic Algorithm for Travel Itinerary Recommendation with Mandatory Points-of-Interest
Traveling as a very popular leisure activity enjoyed by many people all over the world. Typically, people would visit the POIs that are popular or special in a city and also have desired starting POIs (e.g., P...
-
Chapter and Conference Paper
An Ergonomic Solution for Hand Rehabilitation Product Design for Stroke Patients
Rehabilitation training is a crucial part that helps stroke patients to train their muscles and rebuild the connection between muscle, nervous system and brain. This study conducts an ergonomic redesign of han...
-
Chapter and Conference Paper
Multi-Layer Cross Loss Model for Zero-Shot Human Activity Recognition
Most existing methods of human activity recognition are based on supervised learning. These methods can only recognize classes which appear in the training dataset, but are out of work when the classes are not...
-
Chapter and Conference Paper
Design Criteria for Kansei-Oriented Elderly Products
The purposes of this study included: (1) identifying the specific design components of functional shoes that affect the psychological feeling of the elderly, and establishing their weights; (2) exploring the ...
-
Chapter and Conference Paper
Research on Agricultural Scientific and Technological Information Dissemination System Based on Complex Network Technology
In view of the complexity of information dissemination in agriculture and the uncertainty of farmers’ demand for scientific and technological information, this paper makes a comprehensive and accurate analysis...
-
Chapter and Conference Paper
A Framework to Quantitatively Assess Safety Performance for Civil Aviation Organization
As many other high-risk industries, safety is the most important prerequisite and foundation for the development of civil aviation. A systematic framework is presented to quantitatively assess the safety perfo...
-
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
Optimizing Data Placement on Hierarchical Storage Architecture via Machine Learning
As storage hierarchies are getting deeper on modern high-performance computing systems, intelligent data placement strategies that can choose the optimal storage tier dynamically is the key to realize the pote...