IEEE Time-Sensitive Networking (TSN) is one of the main solutions considered by the industry to support time-sensitive communication in data-intensive safety-critical and mission-critical applications such as autonomo...
详细信息
In the Field of Medical diagnosis, nowadays there are many new methods are getting introduced each day and also gets advanced by many people around the world. The Kidney is one of the most vital organ of a Human body ...
详细信息
The proceedings contain 22 papers. The special focus in this conference is on Engineering of Complex Computer Systems. The topics include: Automated Parameter Determination for Enhancing the Product Configur...
ISBN:
(纸本)9783031664557
The proceedings contain 22 papers. The special focus in this conference is on Engineering of Complex Computer Systems. The topics include: Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report;optimal Solution Guided Branching Strategy for Neural Network Branch and Bound verification;AccMILP: An Approach for Accelerating Neural Network verification Based on Neuron Importance;Word2vec-BERT-bmu:Classification of RISC-v Architecture Software Package Build Failures;Test Architecture Generation by Leveraging BERT and Control and data Flows;less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction;modeling and verification of Solidity Smart Contracts with the B Method;template-Based Smart Contract verification: A Case Study on Maritime Transportation Domain;QuanSafe: A DTBN-Based Framework of Quantitative Safety analysis for AADL Models;a Event-B-Based Approach for Schedulability analysis For Real-Time Scheduling Algorithms through Deadlock Detection;validation of RailML Using ProB;reachability analysis of Concurrent Self-modifying Code;an Iterative Formal Model-Driven Approach to Railway Systems validation;an Efficient Distributed Dispatching vehicles Protocol for Intersection Traffic Control;confidentiality Management in Complex Systems Design;analyzing Excessive Permission Requests in Google Workspace Add-Ons;formal verification Techniques for Post-quantum Cryptography: A Systematic Review;autoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation;safePtrX: Research on Mitigation of Heap-Based Memory Safety violations for Intel x86-64;towards Efficiently Parallelizing Patch-Space exploration in Automated Program Repair.
This paper provides an extensive discussion of the machine learning algorithms applied to the sentiment analysis on the social media, involving the use of the Naive Bayes, Support vector Machines (SvM), and Deep learn...
详细信息
The proceedings contain 44 papers. The topics discussed include: of course it’s political! a critical inquiry into underemphasized dimensions in civic text visualization;visual analytics of contact tracing policy sim...
The proceedings contain 44 papers. The topics discussed include: of course it’s political! a critical inquiry into underemphasized dimensions in civic text visualization;visual analytics of contact tracing policy simulations during an emergency response;effective use of Likert scales in visualization evaluations: a systematic review;how accessible is my visualization? evaluating visualization accessibility with chartability;seeing through sounds: mapping auditory dimensions to data and charts for people with visual impairments;ModelWise: interactive model comparison for model diagnosis, improvement and selection;infographics wizard: flexible infographics authoring and design exploration;reusing interactive analysis workflows;leveraging analysis history for improved in situ visualization recommendation;and visual parameter selection for spatial blind source separation.
Audience sentiment analysis is a popular research task in Music Information Retrieval (MIR). In this work, we aim to lean the prediction model of fine-grained music emotion for intelligent editing and retrieval. To sa...
详细信息
The practical application of the bioimpedance analysis of human body composition (BIA) technology began four decades ago. The first two-dimensional representation of the dependence of one bioimpedance parameter on ano...
详细信息
We propose a novel method for exploring the dynamics of physically based animated characters, and learning a task-agnostic action space that makes movement optimization easier. Like several previous article, we parame...
详细信息
We propose a novel method for exploring the dynamics of physically based animated characters, and learning a task-agnostic action space that makes movement optimization easier. Like several previous article, we parameterize actions as target states, and learn a short-horizon goal-conditioned low-level control policy that drives the agent's state towards the targets. Our novel contribution is that with our explorationdata, we are able to learn the low-level policy in a generic manner and without any reference movement data. Trained once for each agent or simulation environment, the policy improves the efficiency of optimizing both trajectories and high-level policies across multiple tasks and optimization algorithms. We also contribute novel visualizations that show how using target states as actions makes optimized trajectories more robust to disturbances;this manifests as wider optima that are easy to find. Due to its simplicity and generality, our proposed approach should provide a building block that can improve a large variety of movement optimization methods and applications.
Road intersections represent one of the most complex configurations encountered when traversing road networks. It is therefore of vital importance to improve their operational performance, as that can significantly co...
详细信息
ISBN:
(纸本)9781450395298
Road intersections represent one of the most complex configurations encountered when traversing road networks. It is therefore of vital importance to improve their operational performance, as that can significantly contribute towards the efficiency of the whole transport network. Traditional approaches to improve the efficiency of intersections are based on analysis of static data or expert opinions. However, due to the advancements on vehicle-to-vehicle (v2v) and vehicle-to-Infrastructure (v2I) communication technologies, it is possible to enhance safety and improve road intersection efficiency by continuously monitoring traffic conditions and enabling situational awareness of vehicle drivers. Towards this end, we design, develop and evaluate a system for evaluating and forecasting the operational performance of road intersections by mining streams of v2I data. Our system makes use of graph mining and trajectory data mining methods to continuously evaluate a set of well-defined measures of effectiveness (MOEs) for traffic operations at different levels of road network abstraction. In addition, the system enables interactive analysis and exploration of the various MOEs. The system architecture and methods are general and can be used in various settings requiring continuous monitoring and/or forecasting of the road network state.
Flight data can not only be applied to safety analysis, condition monitoring and model establishment, but also play a very important role in improving the effect of theory teaching and students' own ability. Based...
详细信息
暂无评论