The proceedings contain 44 papers. The topics discussed include: analysis and the preliminary design for backend technology of disaster management information system;development of simulator for learning scrum;improvi...
ISBN:
(纸本)9798350381382
The proceedings contain 44 papers. The topics discussed include: analysis and the preliminary design for backend technology of disaster management information system;development of simulator for learning scrum;improving cultural objects portal application usability using user usability evaluation;a static IDE plugin to detect security hotspot for Laravel framework based web application;achieving high-level software component summarization via hierarchical chain-of-thought prompting and static code analysis;aspect-based sentiment analysis model with local sentiment aggregation for online travel reviews;automated chest x-ray report generator using multi-model deep learning approach;comparative analysis of big data utilization at vocational and productivity training centers (BBPVP) and the domestic job market;and comparison machine learning technique for grade classification of exported Cavendish banana.
The proceedings contain 64 papers. The topics discussed include: multi-secret sharing scheme for zero trust environment;secure authentication scheme for large-scale video surveillance system based on quantum key;featu...
ISBN:
(纸本)9798350336269
The proceedings contain 64 papers. The topics discussed include: multi-secret sharing scheme for zero trust environment;secure authentication scheme for large-scale video surveillance system based on quantum key;feature and performance comparison of FaaS platforms;a named entity recognition method based on ALBERT’s multi-headed attention mechanism with word fusion;distributed real-time workflow scheduling for collaborative operation of heterogeneous industrial equipment;a docker image content parsing method;cloud-based processing on drone imaging for precision agriculture;research on usage pattern of task lists for open source communities;and enhancing classification performance in knee magnetic resonance imaging using adversarial data augmentation.
The proceedings contain 12 papers. The topics discussed include: auction mechanism based multi-agent DRL for multi-service placement in mobile edge computing;optimized embedded model for time sequence alignment within...
ISBN:
(纸本)9798350313048
The proceedings contain 12 papers. The topics discussed include: auction mechanism based multi-agent DRL for multi-service placement in mobile edge computing;optimized embedded model for time sequence alignment within distributed video streams environment;BSA tool: an experience report of software automation to perform sanity tests in a global software development environment;application and research of OFD-based e-procurement document management system;a fast decentralized scheduling method of cooperative localization based on actor-critic deep reinforcement learning;mobile based navigation system for visually impaired person using image detection with voice translation;efficient structure search for person re-identification;face detection using the Siamese network with reconstruction supervision;a rate compatible LDPC scheme in the quantum key distribution system;and a method of multiple targets DOA tracking with vector hydrophone based on unite processing in time and frequency domain.
The proceedings contain 8 papers. The topics discussed include: BuggIn: automatic intrinsic bugs classification model using NLP and ML;do developers fix continuous integration smells?;large scale study of orphan vulne...
ISBN:
(纸本)9798400703751
The proceedings contain 8 papers. The topics discussed include: BuggIn: automatic intrinsic bugs classification model using NLP and ML;do developers fix continuous integration smells?;large scale study of orphan vulnerabilities in the software supply chain;the FormAI dataset: generative AI in software security through the lens of formal verification;comparing word-based and AST-based models for design pattern recognition;on effectiveness of further pre-training on BERT models for story point estimation;automated fairness testing with representative sampling;and model review: a PROMISEing opportunity.
The proceedings contain 54 papers. The topics discussed include: maneuvering target tracking based on LSTM for radar application;prediction of seismic performance level of reinforced concrete building based on structu...
ISBN:
(纸本)9798350337952
The proceedings contain 54 papers. The topics discussed include: maneuvering target tracking based on LSTM for radar application;prediction of seismic performance level of reinforced concrete building based on structural and seismic parameters combination using artificial neural network;meta-heuristics for solving curve fitting problems in optical-diffraction based image depth reconstruction;towards accurate stress classification: combining advanced feature selection and deep learning;research on electromagnetic wave propagation characteristics in GIS based on uhf method;sea-surface target detection based on neural network prediction;a new convolutional neural network architecture for Mars landmarks classification based on MobileNetV2;research in blockchain-based manufacturing supply chain;and bifurcation analysis and control of a four-wing chaotic system.
The proceedings contain 24 papers. The topics discussed include: CareForPaws: a mobile application for pet adoption and other services with location-based technology developed in react native framework;WellnessWise: u...
ISBN:
(纸本)9798350371475
The proceedings contain 24 papers. The topics discussed include: CareForPaws: a mobile application for pet adoption and other services with location-based technology developed in react native framework;WellnessWise: user experience design of the proposed mobile application for physical and mental health self-care;local outlier reclassifier (LORec): a method for relocating local outliers generated by k-means;analyzing the sentiments of Filipino commuters: an application of data science techniques through the use of machine learning algorithms;effectiveness of using fundus image data containing other retinal diseases in identifying age-related macular degeneration using image classification;Kubernetes-based edge system for managing intermittently connected IoT gateway on rail vehicle;and narrate: a user-driven web application for developing speech corpora in endangered Philippine languages and dialect.
The proceedings contain 14 papers. The topics discussed include: goal controller synthesis for self-adaptive systems;verifying binary neural networks on continuous input space using star reachability;explainable human...
ISBN:
(纸本)9798350312638
The proceedings contain 14 papers. The topics discussed include: goal controller synthesis for self-adaptive systems;verifying binary neural networks on continuous input space using star reachability;explainable human-machine teaming using model checking and interpretable machine learning;contract-based specification refinement and repair for mission planning;patch specifications via product programs;an empirical study assessing software modeling in alloy;mutant equivalence as monotonicity in parametric timed games;differential testing of a verification framework for compiler optimizations (case study);formalizing path explosion for recursive functions via asymptotic path complexity;a Dafny-based approach to thread-local information flow analysis;transparent actor model;using scylindric algebra to support local variables in rely/guarantee concurrency;a formal approach to the verification of protection systems in low-voltage distribution grids;and a verified UAV flight plan generator.
暂无评论