MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata [PDF]
EPTCS 154, 2014, pp. 48-63, 2014 Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult to handle, making abstraction and abstraction refinement necessary.
Becker, Bernd +5 more
arxiv +4 more sources
Probabilistic Program Abstractions [PDF]
arXiv, 2017 Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of program abstraction is the relationship between a concrete program, which is difficult to analyze, and an abstract program, which is more tractable.
Broeck, Guy Van den +2 more
arxiv +2 more sources
Building and Refining Abstract Planning Cases by Change of Representation Language [PDF]
Journal of Artificial Intelligence Research, Vol 3, (1995), 53-118, 1995 ion is one of the most promising approaches to improve the performance of problem solvers. In several domains abstraction by dropping sentences of a domain description -- as used in most hierarchical planners -- has proven useful. In this paper we present examples which illustrate significant drawbacks of abstraction by dropping sentences.
Bergmann, R., Wilke, W.
arxiv +4 more sources
Metaphysics and Evolution: Response to Critics [PDF]
Studia Gilsoniana, 2021 I respond to Michał Chaberek’s and Robert A. Delfino’s criticisms of my argument that evolution is compatible with Aristotelian-Thomistic metaphysics.
Dennis F. Polis
doaj +1 more source
“What It Wants Me To Say”: Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models [PDF]
International Conference on Human Factors in Computing Systems, 2023 Code-generating large language models map natural language to code. However, only a small portion of the infinite space of naturalistic utterances is effective at guiding code generation.
Michael Xieyang Liu +6 more
semanticscholar +1 more source
PV-RCNN++: Point-Voxel Feature Set Abstraction With Local Vector Representation for 3D Object Detection [PDF]
International Journal of Computer Vision, 2021 3D object detection is receiving increasing attention from both industry and academia thanks to its wide applications in various fields. In this paper, we propose Point-Voxel Region-based Convolution Neural Networks (PV-RCNNs) for 3D object detection on ...
Shaoshuai Shi +7 more
semanticscholar +1 more source
Analysis of Quranic Arguments on the Abstraction of the Soul on with Emphasis on Narrative Interpretations (Exegeses) [PDF]
آموزههای فلسفه اسلامي, 2021 The issue of the abstraction of the soul has always been considered by Muslim thinkers and philosophers due to its fundamental role in philosophical topics such as anthropology, epistemology, teleology, etc.
Ṣaḥebeh Ashouri, Zohreh Borghei
doaj +1 more source
Abstraction and analogy‐making in artificial intelligence [PDF]
Annals of the New York Academy of Sciences, 2021 Conceptual abstraction and analogy‐making are key abilities underlying humans' abilities to learn, reason, and robustly adapt their knowledge to new domains.
M. Mitchell
semanticscholar +1 more source
Wassily Kandinsky at the Exhibition "Meisterwerke muhammedanischer Kunst" in Munich, 1910
Manazir Journal, 2022 In 1910, Wassily Kandinsky attended the Munich exhibition Meisterwerke muhammedanischer Kunst and subsequently wrote a review of it for the Russian literary journal Apollon. His review, which almost exclusively discussed the Persian paintings on display,
Emily Christensen
doaj +1 more source
“Can I go into the artwork?” Material–relational situations with abstract art
Journal for Research in Arts and Sports Education, 2022 The purpose of this article is to study museum educational situations, where 5–7-year-old children encounter abstract art, from a new materialist perspective.
Heidi Kukkonen
doaj +1 more source