Search
Search Results
-
Space Abstraction and of PetriNets Using the Submarking Method Quasi-home States
The home state is a property of Petri nets. The home state is a state that can be returned to from all markings, and is the stable state in the...
-
Mosaic Tile 5: Frontend Finesse with Angular
Let’s now delve into the realm of Frontend Finesse with Angular, marking the commencement of User Story 4: Front-End UI/UX Implementation. This...
-
MANTRA: Enhancing Worker Safety Through an Integrated BIM-IoT Mobile Application
In the evolving landscape of construction safety management, the integration of Internet of Things (IoT) and Building Information Modeling (BIM)...
-
Generalized Matching
Commonly used image-related matching can be classified into two categories: One is more specific and corresponds to the lower-level pixels or sets of...
-
Augmentation dataset of a two-dimensional neural network model for use in the car parts segmentation and car classification of three dimensions
In this study, three-dimensional (3D) spatial data, two-dimensional (2D) texture information, and automatic marking processes were used for the...
-
VPI: Vehicle Programming Interface for Vehicle Computing
The emergence of software-defined vehicles (SDVs), combined with autonomous driving technologies, has enabled a new era of vehicle computing (VC),...
-
Fast Termination and Workflow Nets
Petri nets are an established model of concurrency. A Petri net is terminating if for every initial marking there is a uniform bound on the length of...
-
Semi-supervised Learning Enabled Fault Analysis Method for Power Distribution Network Based on LSTM Autoencoder and Attention Mechanism
By upgrading the existing distribution network fault statistical analysis system of Shanghai Institute of Electrical Science and Technology,...
-
Using Approximation for the Verification of Token-Scaling Models
In the model checking domain, the state explosion problem is the core issue. The cause is usually the sheer size of the model or the cardinality of...
-
Spatial-UNet: Deep Learning-Based Lane Detection Using Fisheye Cameras for Autonomous Driving
This paper addresses the problem of ego and adjacent lanes detection for real-life autonomous driving. Lane detection is a central part in vehicle...
-
Aphto: a task offloading strategy for autonomous driving under mobile edge
With the increasing complexity of autonomous driving tasks, the computational demands on single vehicular computing units have escalated, more and...
-
Magnet Haptic: Using Magnets and Conductive Ink to Self-fabricate Interactive VR Devices
Magnet Haptic method presents an innovative approach for quickly creating tactile input devices tailored to enhance multisensory experiences in...
-
IPv6
In the 1980s, the IETF (Internet Engineering Task Force) released RFC791, i.e., IPv4 protocol, marking the formal standardization of IPv4. In the...
-
Problem-Based Multiple Response Exams for Students with and Without Learning Difficulties
Objective computer-assisted examinations (CAA) are considered a preferable option compared to constructed response (CR) ones because marking is done...
-
A Study on Different Types of Convolutions in Deep Learning in the Area of Lane Detection
One of the key technologies in autonomous vehicles is image based lane detection algorithm. High performance is detected in modern deep learning...
-
Fault Detection Method for Power Distribution Network Based on Ensemble Learning
The State Grid Shanghai Institute of Electrical Science and Technology fault statistics system requires implementation of data analysis and index...
-
Improving the Quality of ICT and Forestry Service Processes with Digital Service Management Approach: A Case Study on Forestry Liquids
Harvesting forests requires consumption of various types of liquids: fuels, lubricating oil for harvester saw chains, marking colours in liquid form,...
-
Public-Key Watermarking Schemes for Pseudorandom Functions
A software watermarking scheme can embed a message into a program while preserving its functionality. The embedded message can be extracted later by...
-
A Lightweight Segmentation Network Based on Weak Supervision for COVID-19 Detection
The Coronavirus Disease 2019 (COVID-19) outbreak in late 2019 threatens global health security. Computed tomography (CT) can provide richer...
-
Development of Folklore Motif Classifier Using Limited Data
The existence of mythological universals - common or similar folklore images and motifs in different cultures, makes it possible to catalog them and...