![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Dynamic Graph-Guided Transferable Regression for Cross-Domain Speech Emotion Recognition
To deal with the problem of cross-domain speech emotion recognition (SER), in this paper, we propose a novel dynamic graph-guided transferable regression (DGTR) method. Specifically, a retargeted discriminant ...
-
Chapter and Conference Paper
A Full-Level Based Network to Detect Every Aircraft in Airport Scene
The rapid development of civil aviation has led to increasingly crowded airports. The complex airport environment and large number of aircraft make airport object detection a difficult task. Due to the large e...
-
Chapter and Conference Paper
AgBFPN: Attention Guided Bidirectional Feature Pyramid Network for Object Detection
Object detection is increasingly in demand in IoT service applications. Deep learning based object detection algorithms are now in fashion. As the most popular multi-scale object detection network at present, ...
-
Chapter and Conference Paper
ADS-B-Based Spatial-Temporal Multi-scale Object Detection Network for Airport Scenes
Aircraft detection is important for intelligent airport applications. This task is challenging due to some problems, e.g. the aircraft is usually small and the appearance varies dramatically with view angle. I...
-
Chapter and Conference Paper
Swarm Multi-agent Trap** Multi-target Control with Obstacle Avoidance
In this paper, we investigate that swarm multi-agent can trap multi-target and avoid obstacles simultaneously through cooperative control. First, the control method proposed in this paper allows the number of ...
-
Article
Dynamic memory supported dialog generation model based on commonsense knowledge graph
In daily conversation, humans naturally use the information they already have and remember new information generated during the conversation. It is common for a conversation to start with one concept (or topic...
-
Article
Experimental quantum adversarial learning with programmable superconducting qubits
Quantum computing promises to enhance machine learning and artificial intelligence. However, recent theoretical works show that, similar to traditional classifiers based on deep classical neural networks, quan...
-
Chapter and Conference Paper
Improving Energy-Based Out-of-Distribution Detection by Sparsity Regularization
Out-of-distribution (OOD) detection is critical for safely deploying machine learning models in the open world. Recently, an energy-score based OOD detector was proposed for any pre-trained classification mode...
-
Chapter and Conference Paper
An Improved Firefly Algorithm for Generalized Traveling Salesman Problem
The material transportation problem in workshops under complex environment can be idealized as the Generalized Traveling Salesman Problem (GTSP). To solve such a problem, an improved firefly algorithm is propo...
-
Chapter and Conference Paper
News Event Tracking Using an Improved Hybrid of KNN and SVM
News event tracking is the task of associating incoming stories with events known to the system. A tracking system’s goal is to automatically assign event labels to the subsequent news stories. The paper prese...
-
Chapter and Conference Paper
Exponential Stability of Impulsive Hopfield Neural Networks with Time Delays
This paper considers the problems of global exponential stability and exponential convergence rate for impulsive Hopfield neural networks with time delays. By using the method of Lyapunov functions, M-matrix t...
-
Chapter and Conference Paper
Identification of Abnormal Operating Conditions and Intelligent Decision System for Earth Pressure Balance Shield Machine
In the Earth Pressure Balance shield construction, the soil dug in the capsule is difficult to form the "plastic flow state" and will cause three abnormal operating conditions including occlusion, caking in th...
-
Chapter and Conference Paper
Text-Based P2P Content Search Using a Hierarchical Architecture
As a scalable alternative to traditional server-based architecture, peer-to-peer (P2P) computing has become a popular distributed computing paradigm. However, efficient content search is absent, which hinders ...
-
Chapter and Conference Paper
BiChord: An Improved Approach for Lookup Routing in Chord
Efficient resource lookup is essential for peer to peer networks and DHT (Distributed Hash Table) provides an ideal solution for resource lookup in distributed networks. Chord is a representative peer to peer ...
-
Chapter and Conference Paper
Trust and Cooperation in Peer-to-Peer Systems
Most of the past studies on peer-to-peer systems have emphasized routing and lookup. The selfishness of users, which brings on the free riding problem, has not attracted sufficient attention from researchers. ...
-
Article
A proof rule for while loop in VDM
A proof rule for while loop which can be used in justification of program w.r.t. specifications using two-state post-conditions is presented in this paper, accompanied with a soundness proof and a comparison w...
-
Chapter and Conference Paper
NUSL: An executable specification language based on data abstraction
It proves very useful to give a formal specification of the software to be developed before the development. To write formal specifications, a specification language is to be used. This paper describes the spe...