Results 51 to 60 of about 934,012 (382)
Automatic Abstraction for Congruences [PDF]
, 2010 One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d ...
A. King +14 more
core +2 more sources
Ontology-based model abstraction [PDF]
, 2019 In recent years, there has been a growth in the use of reference conceptual models to capture information about complex and critical domains. However, as the complexity of domain increases, so does the size and complexity of the models that represent ...
Figueiredo, Guylerme +3 more
core +1 more source
British Art Studies, 2015 This article’s aims are twofold: firstly, it argues that Prunella Clough’s engagement with consumer items in her paintings of the 1980s and 1990s constitute a sustained engagement with the fluctuating nature of the commodity form, moving beyond the ...
Catherine Spencer
doaj +1 more source
Handcrafting Objects made with Machine Learning: An Object Design Approach with Computer Vision
Engineering Proceedings, 2023 Many of today’s computational design systems based on explicit or graphic programming software require designers to determine relationships for morphogenesis based on computational thinking supported by the abstraction process.
Jose L. Reategui
doaj +1 more source
Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems [PDF]
, 2020 This paper studies symbolic abstractions for nonlinear control systems using logarithmic quantization. With a logarithmic quantizer, we approximate the state and input sets, and then construct a novel discrete abstraction for nonlinear control systems.
arxiv +1 more source
Program synthesis using abstraction refinement [PDF]
Proc. ACM Program. Lang., 2017 We present a new approach to example-guided program synthesis based on counterexample-guided abstraction refinement. Our method uses the abstract semantics of the underlying DSL to find a program P whose abstract behavior satisfies the examples. However,
Xinyu Wang, Işıl Dillig, Rishabh Singh
semanticscholar +1 more source
Using “Spontaneous Geography” to reason about environmental problems
European Journal of Geography, 2022 Climate change is a major challenge for societies, especially for future generations. Since 2018 and the large protests initiated by Greta Thunberg, an international youth protest movement has emerged in favour of action against climate change.
Cédric Naudet
doaj +1 more source
Certified concurrent abstraction layers
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2018 Concurrent abstraction layers are ubiquitous in modern computer systems because of the pervasiveness of multithreaded programming and multicore hardware.
Ronghui Gu +8 more
semanticscholar +1 more source
Sensing the Present: “Conceptual Art of the Senses”
Text Matters, 2017 After Rachel E. Burke briefly introduces the essays presented with a focus on our contemporary relationship to modern subjectivity, Mieke Bal will make the case for the sense of presentness on an affective and sensuous level in Munch’s paintings and ...
Mieke Bal, Rachel E. Burke
doaj +1 more source
Better abstractions for timed automata [PDF]
, 2015 We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones.
Alur +28 more
core +3 more sources