封面图片

AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings /

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal...

Saved in:

书目详细资料
企业作者:	SpringerLink (Online service)
其他作者:	Avni, Guy (Editor), Giacobbe, Mirco (Editor), Johnson, Taylor T. (Editor), Katz, Guy (Editor), Lukina, Anna (Editor), Narodytska, Nina (Editor), Schilling, Christian (Editor)
格式:	电子电子书
语言:	英语
出版:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
版:	1st ed. 2024.
丛编:	Lecture Notes in Computer Science, 14846
主题:	Artificial intelligence. Artificial Intelligence.
在线阅读:	https://doi.org/10.1007/978-3-031-65112-0
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Applications of Generative AI
出版: (2024)

Sports Analytics First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings /
出版: (2024)

Artificial Intelligence for Research and Democracy First International Workshop, AI4Research 2024, and 4th International Workshop, DemocrAI 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 5, 2024, Proceedings /
出版: (2025)

Federated Learning in the Age of Foundation Models - FL 2024 International Workshops FL@FM-WWW 2024, Singapore, May 14, 2024; FL@FM-ICME 2024, Niagara Falls, ON, Canada, July 15, 2024; FL@FM-IJCAI 2024, Jeju Island, South Korea, August 5, 2024; and FL@FM-NeurIPS 2024, Vancouver, BC, Canada, December 15, 2024, Revised Selected Papers /
出版: (2025)

Games and Learning Alliance 13th International Conference, GALA 2024, Berlin, Germany, November 20–22, 2024, Proceedings /
出版: (2025)

Biomimetic and Biohybrid Systems 13th International Conference, Living Machines 2024, Chicago, IL, USA, July 8–11, 2024, Proceedings /
出版: (2025)

Artificial Intelligence in Healthcare First International Conference, AIiH 2024, Swansea, UK, September 4–6, 2024, Proceedings, Part II /
出版: (2024)

Predictive Intelligence in Medicine 7th International Workshop, PRIME 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings /
出版: (2025)

Artificial Intelligence and Imaging for Diagnostic and Treatment Challenges in Breast Care First Deep Breast Workshop, Deep-Breath 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings /
出版: (2025)

Artificial Intelligence in HCI 4th International Conference, AI-HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II /
出版: (2023)

Artificial Intelligence in HCI 4th International Conference, AI-HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I /
出版: (2023)

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26–28, 2024, Proceedings, Part III /
出版: (2025)

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26–28, 2024, Proceedings, Part I /
出版: (2025)

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26–28, 2024, Proceedings, Part II /
出版: (2025)

Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26–27, 2024, Revised Selected Papers, Part-I /
出版: (2025)

Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26–27, 2024, Revised Selected Papers, Part-II /
出版: (2025)

Machine Learning, Optimization, and Data Science 10th International Conference, LOD 2024, Castiglione della Pescaia, Italy, September 22–25, 2024, Revised Selected Papers, Part II /
出版: (2025)

Machine Learning, Optimization, and Data Science 10th International Conference, LOD 2024, Castiglione della Pescaia, Italy, September 22–25, 2024, Revised Selected Papers, Part I /
出版: (2025)

Machine Learning, Optimization, and Data Science 10th International Conference, LOD 2024, Castiglione della Pescaia, Italy, September 22–25, 2024, Revised Selected Papers, Part III /
出版: (2025)

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21–22, 2023, Proceedings /
出版: (2023)

Hybrid Artificial Intelligent Systems 19th International Conference, HAIS 2024, Salamanca, Spain, October 9–11, 2024, Proceedings, Part I /
出版: (2025)

Hybrid Artificial Intelligent Systems 19th International Conference, HAIS 2024, Salamanca, Spain, October 9–11, 2024, Proceedings, Part II /
出版: (2025)

Advances and Trends in Artificial Intelligence. Theory and Applications 37th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2024, Hradec Kralove, Czech Republic, July 10–12, 2024, Proceedings /
出版: (2024)

Multi-disciplinary Trends in Artificial Intelligence 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I /
出版: (2025)

Multi-disciplinary Trends in Artificial Intelligence 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II /
出版: (2025)

Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16–18, 2024, Proceedings /
出版: (2025)

Intelligent Information Processing XII 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3–6, 2024, Proceedings, Part I /
出版: (2024)

Intelligent Information Processing XII 13th IFIP TC 12 International Conference, IIP 2024, Shenzhen, China, May 3–6, 2024, Proceedings, Part II /
出版: (2024)

Asia Pacific Advanced Network Second International Conference, APANConf 2024, Islamabad, Pakistan, August 26–30, 2024, Revised Selected Papers /
出版: (2025)

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18–22, 2023, Proceedings, Part I /
出版: (2023)

Value Engineering in Artificial Intelligence Second International Workshop, VALE 2024, Santiago de Compostela, Spain, October 19–24, 2024, Revised Selected Papers /
出版: (2025)

Predictive Intelligence in Medicine 6th International Workshop, PRIME 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings /
出版: (2023)

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8–11, 2024, Revised Selected Papers, Part I /
出版: (2025)

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8–11, 2024, Revised Selected Papers, Part II /
出版: (2025)

Parallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8–11, 2024, Revised Selected Papers, Part III /
出版: (2025)

New Frontiers in Artificial Intelligence JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Kumamoto, Japan, June 4-6, 2023, Revised Selected Papers /
出版: (2024)

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19–22, 2023, Proceedings, Part I /
出版: (2023)

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19–22, 2023, Proceedings, Part II /
出版: (2023)

Value Engineering in Artificial Intelligence First International Workshop, VALE 2023, Krakow, Poland, September 30, 2023, Proceedings /
出版: (2024)

Network Simulation and Evaluation Second International Conference, NSE 2023, Shenzhen, China, November 22-24, 2023, Proceedings, Part I /
出版: (2024)