Advances in digitization and resource-sharing business models have created new opportunities for manufacturing companies, enhancing competitiveness and resilience. However, these benefits bring computational challenge...
详细信息
the proceedings contain 16 papers. the topics discussed include: model checking of optimal LTL and ASAP properties;on optimizing simulation-based verification of cyber-physical systems via statistical model checking: ...
the proceedings contain 16 papers. the topics discussed include: model checking of optimal LTL and ASAP properties;on optimizing simulation-based verification of cyber-physical systems via statistical model checking: a preliminary work;recent results on computable and compositional semantics for hybrid systems;temporal many-valued conditional logics: an abridged report;towards ASP-based minimal unsatisfiable cores enumeration for LTLf;formalizing decisional and operational roles in legal contracts via term-modal logic;integrating L0 regularization into multi-layer logical perceptron for interpretable classification;and automated synthesis of certified neural networks: initial results and open research lines.
the Web is populated by autonomous agents that act on behalf of users to perform tasks on the Web. these agents are required to interact with online systems to achieve their goals. However, they are usually designed t...
详细信息
In increasingly autonomous and highly distributed multi-agentsystems, centralized coordination becomes impractical and raises the need for governance and enforcement mechanisms60;from an agent-centric perspective....
详细信息
In this paper, we explore the impact of problem statement readability and lexical richness on cognitive load during programming exercises. Cognitive load theory suggests that60;the complexity of instructions can si...
详细信息
the proceedings contain 48 papers. the topics discussed include: Chat Bankman-Fried: an exploration of LLM alignment in finance;GraphRAG analysis for financial narrative summarization and a framework for optimizing do...
ISBN:
(纸本)9798891762091
the proceedings contain 48 papers. the topics discussed include: Chat Bankman-Fried: an exploration of LLM alignment in finance;GraphRAG analysis for financial narrative summarization and a framework for optimizing domain adaptation;BuDDIE: a business document dataset for multi-task information extraction;FinMoE: a MoE-based large Chinese financial language model;bridging the gap: efficient cross-lingual NER in low-resource financial domain;evaluating financial literacy of large language models through domain specific languages for plain text accounting;synthetic data generation using large language models for financial question answering;training LayoutLM from scratch for efficient named-entity recognition in the insurance domain;and investigating the effectiveness of length based rewards in DPO for building conversational financial question answering systems.
the proceedings contain 38 papers. the special focus in this conference is on Hybrid Intelligent systems. the topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Sm...
ISBN:
(纸本)9783031838781
the proceedings contain 38 papers. the special focus in this conference is on Hybrid Intelligent systems. the topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Smart Treadmill to Improve Physical Health;logarithmic Weighted Random Selector Algorithm: A Novel Approach for Biasing Selection Based on Positional Order Without Hyperparameters;design and Implementation of a Machine Learning Model for Soccer Match Prediction Based on Player Statistics;electric Scooters and Renewable Energy Integration Associated with Tourist Parks: A Dijkstra-Based Model for Smart Mobility Optimization;use of Convolutional Neural Networks for the Recognition of Bird Species in Risk Categories in the State of Chihuahua;exploring Deep Learning Applications in Neurodegenerative Diseases: A State-of-the-Art Review;Automated Insights: LLMs in Neurodegenerative Disease Research and Comparison;convolutional Neural Network Models for Classifying of Peach (Prunus persica L);Cleaning Binary Distortion on MNIST Dataset;rule-Based Expert System with Bayesian theory and Fuzzy Inference for Vocational Guidance: A Tool to Prevent School Dropouts;detection of Basic Motorcycle Faults Using a Fuzzy Bayesian Expert System;intervention Model with Data Mining Techniques to Work with Dating Violence Victims Using a Social Support Network;enhanced Pest Detection Using Quaternion-Based Image Segmentation in Yellow Sticky Trap Samples for Precision Agriculture;Optimization of a Treatment Plant through the Incorporation of New Waste Separation Components: A TOPSIS-Focused multi-criteria Analysis Approach;multicriteria Analysis Applied to the Selection of Shopping Centers for a Family-Owned Restaurant Business in Smart Cities: A Case Study in Ciudad Juárez.
the proceedings contain 38 papers. the special focus in this conference is on Hybrid Intelligent systems. the topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Sm...
ISBN:
(纸本)9783031838811
the proceedings contain 38 papers. the special focus in this conference is on Hybrid Intelligent systems. the topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Smart Treadmill to Improve Physical Health;logarithmic Weighted Random Selector Algorithm: A Novel Approach for Biasing Selection Based on Positional Order Without Hyperparameters;design and Implementation of a Machine Learning Model for Soccer Match Prediction Based on Player Statistics;electric Scooters and Renewable Energy Integration Associated with Tourist Parks: A Dijkstra-Based Model for Smart Mobility Optimization;use of Convolutional Neural Networks for the Recognition of Bird Species in Risk Categories in the State of Chihuahua;exploring Deep Learning Applications in Neurodegenerative Diseases: A State-of-the-Art Review;Automated Insights: LLMs in Neurodegenerative Disease Research and Comparison;convolutional Neural Network Models for Classifying of Peach (Prunus persica L);Cleaning Binary Distortion on MNIST Dataset;rule-Based Expert System with Bayesian theory and Fuzzy Inference for Vocational Guidance: A Tool to Prevent School Dropouts;detection of Basic Motorcycle Faults Using a Fuzzy Bayesian Expert System;intervention Model with Data Mining Techniques to Work with Dating Violence Victims Using a Social Support Network;enhanced Pest Detection Using Quaternion-Based Image Segmentation in Yellow Sticky Trap Samples for Precision Agriculture;Optimization of a Treatment Plant through the Incorporation of New Waste Separation Components: A TOPSIS-Focused multi-criteria Analysis Approach;multicriteria Analysis Applied to the Selection of Shopping Centers for a Family-Owned Restaurant Business in Smart Cities: A Case Study in Ciudad Juárez.
Image segmentation is a challenging task due to image variations, such as illumination, background, noise, and others. there are several segmentation methods, but the requirement of prior knowledge and parameter setti...
详细信息
In this paper, we address the numerical reasoning challenges of financial question-answering systems. We propose a two-stage approach where models first generate intermediate calculations and then produce the final an...
暂无评论