search result

Cover von Inductive Predicate Synthesis Modulo Programs

Inductive Predicate Synthesis Modulo Programs

Author: Gurfinkel, Arie
Year: 2024
Media group: LIPIcs
Cover von Intelligent Information and Database Systems

Intelligent Information and Database Systems

16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15–18, 2024, Proceedings
2024
Berlin, Springer
Series: Lecture notes in artificial intelligence; 14795/14796
Media group: GESAMTWERK
Volumes loading
Cover von Part II.; Intelligent Information and Database Systems
16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 14796
Media group: MONOGRAPHIE
Cover von Part I.; Intelligent Information and Database Systems
16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 14795
Media group: MONOGRAPHIE
Cover von Distance Queries over Dynamic Interval Graphs

Distance Queries over Dynamic Interval Graphs

Author: Zhang, Daniel J.
Year: 2023
Media group: LIPIcs
Cover von Exascale Agent-Based Modelling for Policy Evaluation in Real-Time (ExAMPLER) (Short Paper)

Exascale Agent-Based Modelling for Policy Evaluation in Real-Time (ExAMPLER) (Short Paper)

Author: Milton, Richard
Year: 2023
Media group: LIPIcs
Cover von Similarity Search and Applications
14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13058
Media group: MONOGRAPHIE
Cover von Volume XXXVII.; Transactions on Computational Collective Intelligence XXXVII
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Volume: Volume XXXVII.
Series: Lecture notes in computer science; 13750
Media group: MONOGRAPHIE
Cover von Web Information Systems Engineering
WISE 2022 : 23rd International Conference, Biarritz, France, November 1 - 3, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13724
Media group: MONOGRAPHIE
Cover von Computational Collective Intelligence
14th International Conference, ICCCI 2022, Hammamet, Tunisia, September 28 - 30, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 13501
Media group: MONOGRAPHIE
OPEN V 11.1.0.0