This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.The 24 full papers and 13 short papers included in this book were carefully reviewed and selected from 375 submissions. They cover all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.

Produktinformation

Utgivningsdatum:2025-04-29
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:344
Förlag:Springer International Publishing AG
ISBN:9783031873294
Originaltitel:Agents and Artificial Intelligence

Utforska kategorier

Artificiell intelligens inom Data och IT
Tillämpad datateknik inom Data och IT

Innehållsförteckning

.- Artificial Intelligence..- Deep Neural Networks for Early Human Embryo Stages Detection in Time Lapse Sequences..- Prompt. Exploit. Repeat: Automating Network Security Testing with LLMs..- Combining Model Ensembles for Multi-Step Forecasts Using the Example of Flood Levels..- What comes after transformers? – A selective survey connecting ideas in deep learning..- Multi-Stock Movements Classification: A Decoupled Graph Diffusion Neural Network Approach..- Detecting Parkinson’s Disease Using the Spiral and Wave Drawing Test by Means of Explainable Deep Learning..- Deep and Shallow Machine Learning for Predicting Major Donors..- Balancing the Trinity of Feature Selection..- On the Feasibility of Learning Bipolar Gradual Argumentation Semantics Using Neural Architectures..- Integrity in the AI Era: Collaborative Solutions for Programming Education..- Greedy and Local Search-Based Constraint Optimization of the Travelling Salesman Problem..- A Model to Manage Security Risks in IoT Systems..- Natural Language-Based Reinforcement Learning for Acquiring Commonsense Knowledge from Partial Scenarios..- I-AM-Birds (ImB-2): Keep Detecting Amazonian Bird Species..- Exploring the Role of Large Language Models in Professiographic Profile Mapping through the Evaluation of Argumentative Writing in Military School Education..- A Novel RL Framework for Early Configuration Space Exploration..- Using Chatbot Technologies to Understand Natural Language Arguments.

Agents and Artificial Intelligence

16th International Conference, ICAART 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers, Part II

Fler format och utgåvor

Beskrivning

Produktinformation

Utforska kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Agents and Artificial Intelligence

16th International Conference, ICAART 2024, Rome, Italy, February 24–26, 2024, Revised Selected Papers, Part II

Fler format och utgåvor

Beskrivning

Produktinformation

Utforska kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie