Results 11 to 20 of about 28,708,140 (333)
Model checking embedded system designs [PDF]
, 2002 We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can ...
Brinksma, Ed, Mader, Angelika
core +4 more sources
Differentiable Architecture Search Algorithm Based on Global Comparison
IEEE Access, 2023 Manually building neural network models is a great test of researchers’ knowledge reserves, so using Neural Architecture Search (NAS) to automatically construct neural networks is becoming increasingly popular.
Xianglun Zeng, Hongxiang Xiao
doaj +1 more source
Location Prediction Model Based on the Internet of Vehicles for Assistance to Medical Vehicles
IEEE Access, 2020 Along with the Internet of Vehicles, some intelligent systems can help the medical vehicles transport medical supplies and patients. In terms of emergency issues like catastrophic natural disasters or serious accidents, safe and timely transportation for
Jiujun Cheng +7 more
doaj +1 more source
Control of the weakly damped System with the embedded system support [PDF]
, 2018 This paper deals with the experimental verification of the importance of embedded systems with an applied MEMS sensor in controlling weakly damped systems. The aim is to suppress actively residual oscillations.
Kondelová, Anna +2 more
core +2 more sources
Fast YOLO: A Fast You Only Look Once System for Real-time Embedded Object Detection in Video [PDF]
arXiv.org, 2017 Object detection is considered one of the most challenging problems in this field of computer vision, as it involves the combination of object classification and object localization within a scene.
M. Shafiee +3 more
semanticscholar +1 more source
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
IEEE Access, 2018 The correctness verification is very important for workflow systems. It is closely related with both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal model that can reflect some logical structures of workflow systems,
Yaqiong He +5 more
doaj +1 more source
The Exchange Value Embedded In A Transport System [PDF]
, 2010 This paper shows that a well designed transport system has an embedded exchange value by serving as a market for potential exchange between consumers. Under suitable conditions, one can improve the welfare of consumers in the system simply by allowing ...
Xia, Qinglan, Xu, Shaofeng
core +2 more sources
A software radio platform based on ARM and FPGA
MATEC Web of Conferences, 2016 The rapid rise in computational performance offered by computer systems has greatly increased the number of practical software radio applications. A scheme presented in this paper is a software radio platform based on ARM and FPGA.
Yang Xin., Li Zhengxiang.
doaj +1 more source
Mobile Plant Disease Classifier, Trained with a Small Number of Images by the End User
Agronomy, 2022 Mobile applications that can be used for the training and classification of plant diseases are described in this paper. Professional agronomists can select the species and their diseases that are supported by the developed tool and follow an automatic ...
Nikos Petrellis +3 more
doaj +1 more source