![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Efficient evolutionary neural architecture search based on hybrid search space
Manually designed convolutional neural networks have demonstrated excellent performance in various domains, but designing neural networks suitable for specific tasks poses significant challenges, and the emerg...
-
Article
Resource-oriented architecture toward efficient device management for the Internet of Things
The Internet-of-Things concept has evolved from providing network connectivity for devices in our physical world to composing complex tasks with the representations of these things in service mashups. Since most ...
-
Article
Reliability analysis of mobile agent control system with multiple alternative plans
With the advancement of artificial intelligence technologies, mobile agents are becoming more commonly used in a variety of industries that require high reliability from their control systems. In an uncertain ...
-
Chapter and Conference Paper
Multi-UAV Cooperative Moving Target Search Based on Improved Pigeon-Inspired Optimization
Aiming at the problem of multi-UAV cooperative moving target search, a cooperative search decision based on improved pigeon-inspired optimization is designed. Firstly, based on the independence of moving targe...
-
Chapter and Conference Paper
Design of Multi-channel Ethernet System Based on FPGA
In some autonomous vehicle test scenarios, signal generators are required for generating the testing signals to simulate the real surrounding environment of the vehicle. This paper demonstrated a design scheme...
-
Chapter and Conference Paper
Reliability Analysis of Smart Home Sensor Systems Based on Probabilistic Model Checking
With the rapid development of IoT in recent years, Smart Home, one of the IoT application markets, has also been gaining popularity. The emergence of Smart Homes has brought convenience to people’s lives, espe...
-
Article
Intelligent transportation systems design based on mass customization
In this era characterized by fast development of urbanization, public transportation problem is one of the main obstacles for people to promote their life satisfaction in China. This paper aims at discussing p...
-
Article
Attention recurrent cross-graph neural network for selecting premises
Premise selection is a task that selects likely useful premises from a large-scale premise set, which is one of the challenges for automated theorem proving. Nowadays, using graph neural networks to encode log...
-
Chapter and Conference Paper
Genetic Fuzzy Tree Based Learning Algorithm Toward the Weapon-Target Assignment Problem
Weapon-target assignment (WTA) is essential ability for command and control (C2) systems. The requirement for real-time decision-making, heterogeneous combat platforms are required to make effective weapon-tar...
-
Chapter and Conference Paper
Data Analysis of Human Resource Performance Appraisal Based on Intelligent Attendance Web Platform
With the development of economy, market competition is becoming increasingly fierce, and the importance of human resource management in enterprise management has become increasingly prominent. At the same time...
-
Chapter and Conference Paper
A Reliable Transmission Protocol for Multiple Unmanned Vehicles with Self-organized Network
The potential application of unmanned systems has fostered interest from academia and industry researchers for their development and utilization in various domains. For some complex missions, however, unmanned...
-
Chapter and Conference Paper
Multi-species Generalized Rock-Paper-Scissors Model Based on Cyclic Dominant Mechanism
The simplest non-trivial example of cyclical interaction is children’s rock-paper-scissors games. Although they seem simple, they describe the fascinating evolution of species. The rock-paper-scissors (RPS) sy...
-
Article
Open AccessResearch on the Minimum Size of Received Signal Strength Difference Localization Network
The received signal strength difference (RSSD) localization is a kind of method to locate emission sources by measuring the differences of received signal strength level between the monitoring stations and is ...
-
Article
\(\alpha \) -Paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality
In this paper, \(\alpha \) α -paramodulation and
-
Chapter and Conference Paper
Optimal Features Subset Selection for Large for Gestational Age Classification Using GridSearch Based Recursive Feature Elimination with Cross-Validation Scheme
In the large for gestational age infant’s classification and prediction, noisy features are distilled to improve the classifier performance. It is accomplished with the creation of a suitable feature vector fo...
-
Article
Open AccessA Novel Combinational ATP Based on Contradiction Separation for First-Order Logic
At present, most of the first-order logic theorem provers use a binary-resolution method, which can effectively solve the general first-order logic problems to a certain extent. However, the cooperative proces...
-
Article
A fast decision making method for mandatory lane change using kernel extreme learning machine
Lane change maneuver on the highway is a complicated process. A quick and accurate decision for the maneuver is very important for a safe driving. This paper proposes a K-ELM (kernel extreme learning machine) ...
-
Chapter and Conference Paper
Study on Rapidity Decision of Highway Lane Changing Based on OS-ELM
When drivers make a lane changing maneuver in highway merging area, the personalized lane changing models of traditional ADAS usually combine several algorithms, which make the time of running models become lo...
-
Article
Open AccessA Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search
Most of the advanced first-order logic automated theorem proving (ATP) systems adopt binary resolution methods as the core inference mechanism, where only two clauses are involved and a complementary pair of l...
-
Article
Open AccessA Novel Method Based on Extended Uncertain 2-tuple Linguistic Muirhead Mean Operators to MAGDM under Uncertain 2-Tuple Linguistic Environment
The present work is focused on multi-attribute group decision-making (MAGDM) problems with the uncertain 2-tuple linguistic information (ULI2-tuple) based on new aggregation operators which can capture interrelat...