Results 61 to 70 of about 772,646 (193)
On staying grounded and avoiding Quixotic dead ends [PDF]
, 2016 The 15 articles in this special issue on The Representation of Concepts illustrate the rich variety of theoretical positions and supporting research that characterize the area.
A Caramazza +86 more
core +2 more sources
Journal of Architecture, Art & Humanistic ScienceThe main idea of this research was inspired from a desire to clarify some of artist Wassily Kandinsky's Starting points and artistic premises in abstraction and to benefit from them as an entrance for teaching the principles of abstract painting and ...
Dr. Amal Mahrous Abdel Gani
doaj +1 more source
Communicating Concurrent Functions [PDF]
, 2011 In this article we extend the framework of execution of concurrent functions on different abstract levels from previous work with communication between the concurrent functions.
Diertens, Bob
core +3 more sources
‘‘Thus we forever see the ages as they appear mirrored in our spirits”: Willhelm Worringer’s Abstraction and Empathy as longseller, or the birth of artistic modernism from the spirit of the imagined 0ther [PDF]
Journal of Art Historiography, 2015 As welcome as Worringer’s plea for a global broadening of art-historical research may seem from the present perspective, his theoretical approach, which is tied to a fictive other and determined by primitivist ideas remains problematic.
Ursula Helg
doaj
Compositional nonblocking verification with always enabled events and selfloop-only events [PDF]
, 2013 This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification.
A Valmari +14 more
core +2 more sources
Resources, 2019 The rising demand for food production in a changing climate impacts water resources negatively in semi-arid agro-ecosystems. In the Tsavo sub-catchment of Kenya, this is compounded by a surging population and expansion of cropping as a land use; leading ...
Francis Oremo +2 more
doaj +1 more source
Proving Abstractions of Dynamical Systems through Numerical Simulations
, 2014 A key question that arises in rigorous analysis of cyberphysical systems under attack involves establishing whether or not the attacked system deviates significantly from the ideal allowed behavior.
Mitra, Sayan
core +1 more source
Certainly Unsupervisable States [PDF]
, 2014 This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness.
A Tarski +15 more
core +2 more sources
Predicate Abstraction with Under-approximation Refinement
, 2007 We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible
Pasareanu, Corina S. +2 more
core +2 more sources
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