Results 1 to 10 of about 768,697 (286)
A Critical Look at the Abstraction Based on Macro-Operators [PDF]
, 2004 ion can be an effective technique for dealing with the complexity of planning tasks. This paper is aimed at assessing and identifying in which cases abstraction can actually speed-up the overall search.
ARMANO G, CHERCHI G, VARGIU E
core
Imperfect-Recall Abstractions with Bounds in Games
, 2016 Imperfect-recall abstraction has emerged as the leading paradigm for practical large-scale equilibrium computation in incomplete-information games. However, imperfect-recall abstractions are poorly understood, and only weak algorithm-specific guarantees ...
Kroer, Christian, Sandholm, Tuomas
core +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
Narration / abstraction : réflexions croisées entre médiévistes et contemporanéistes
Perspective, 2022 Yve-Alain Bois +4 more
doaj +1 more source
The Strength of Abstraction with Predicative Comprehension
, 2015 Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's
Walsh, Sean
core +1 more source
UAREI: A model for formal description and visual representation /software gamification
Dyna, 2017 The paper presents the UAREI (User-Action-Rule-Entities-Interface) model for formal specification of software gamification, and the UAREI visual modelling language for graphical representation of game mechanics.
Darius Aseriskis +2 more
doaj +1 more source
A Design Process Framework and Tools for Teaching and Practicing Biomimicry
BiomimeticsFew design methods exist that provide clearly structured, visually intuitive, and easily monitored scaffolding for navigating the considerable complexity of biomimetic processes. To this end, we present a holistic biomimicry process framework informed by
Benjamin Linder, Jean Huang
doaj +1 more source
Improving Abstraction in Text Summarization
, 2018 ive text summarization aims to shorten long text documents into a human readable form that contains the most important facts from the original document.
Kryściński, Wojciech +3 more
core +1 more source
Aristeus and Thanatos. Samuel Beckett’s Insect Poetics Creepy
Zoophilologica, 2019 In the broadest possible terms, this paper aims at exploring the relation between death and insects in Samuel Beckett with a special emphasis put on the fact that it is insects that form one of the most repetitive and complex animal figures in his oeuvre.
Michał Kisiel
doaj +1 more source
Graph Abstraction and Abstract Graph Transformation [PDF]
, 2007 Many important systems like concurrent heap-manipulating programs, communication networks, or distributed algorithms are hard to verify due to their inherent dynamics and unboundedness.
Bauer, J. +3 more
core +1 more source