102 Result(s)
-
Chapter and Conference Paper
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
AISE is a static verifier that can verify the safety properties of C programs. The core of AISE is a program verification framework that synergizes abstract interpretation and symbolic execution in a novel manner...
-
Chapter and Conference Paper
Z3-Noodler: An Automata-based String Solver
Z3-Noodler is a fork of Z3 that replaces its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints. An ex...
-
Chapter and Conference Paper
Correction to: Research on Conversational Interaction Design Strategy of Shop** APP Based on Context Awareness
-
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
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
Effectiveness of the Immersive Virtual Reality in Upper Extremity Rehabilitation
Stroke has been one of the leading causes of death worldwide for the past 15 years. Upper limb dysfunction is one of the main symptoms in stroke patients. The purpose of is to evaluate the treatment effectiven...
-
Chapter and Conference Paper
Explore the Appeal of Social Media in Aesthetics Communication Among Different Culture
The way social media in aesthetics communication changes the traditional model of marketing revolutionarily. This type of communication generally uses many delicately designed images online to activate consume...
-
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
Based on GAN Generating Chaotic Sequence
In this paper, an adversarial encryption algorithm based on generating chaotic sequence by GAN is proposed. Starting from the poor leakage resistance of the basic adversarial encryption communication model bas...
-
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
VLC-Enabled Human-Aware Building Management System
“Smart” buildings that can sense and detect people’s presence have been in use for the past few decades, mostly using technologies that trigger reactive responses such as turning on/off heating/ventilating, li...
-
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
Deep Residual Attention Network for Spectral Image Super-Resolution
Spectral imaging sensors often suffer from low spatial resolution, as there exists an essential tradeoff between the spectral and spatial resolutions that can be simultaneously achieved, especially when the te...
-
Chapter and Conference Paper
Mouse Behavior as an Index of Phishing Awareness
Phishing attacks are one of the most common security challenges faced by individuals and organizations today. Although many techniques exist to filter out phishing emails, they are not always effective leaving...
-
Chapter and Conference Paper
Automated Counting of Sex-Pheromone Attracted Insects Using Trapped Images
In this paper, an automatic segmentation and counting method for insect monitoring in orchard was proposed. The method based on image processing consisted of: (1) touching insect detection, (2) local segmentat...
-
Chapter and Conference Paper
PIRM2018 Challenge on Spectral Image Super-Resolution: Methods and Results
In this paper, we describe the Perceptual Image Restoration and Manipulation (PIRM) workshop challenge on spectral image super-resolution, motivate its structure and conclude on results obtained by the partici...
-
Chapter and Conference Paper
“Factual” or “Emotional”: Stylized Image Captioning with Adaptive Learning and Attention
Generating stylized captions for an image is an emerging topic in image captioning. Given an image as input, it requires the system to generate a caption that has a specific style (e.g., humorous, romantic, po...
-
Chapter and Conference Paper
Endo3D: Online Workflow Analysis for Endoscopic Surgeries Based on 3D CNN and LSTM
Surgical workflow analysis is an important topic of computer-assisted intervention and phase recognition is one of its important tasks. Features extracted from video frames by 2D convolutional networks were pr...