Results 11 to 20 of about 914,128 (308)
Learning Deep Sketch Abstraction [PDF]
2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018 Human free-hand sketches have been studied in various contexts including sketch recognition, synthesis and fine-grained sketch-based image retrieval (FG-SBIR).
U. Muhammad +4 more
semanticscholar +1 more source
Memory based on abstraction for dynamic fitness functions [PDF]
, 2008 Copyright @ Springer-Verlag Berlin Heidelberg 2008.This paper proposes a memory scheme based on abstraction for evolutionary algorithms to address dynamic optimization problems.
A.Ş. Uyar +5 more
core +3 more sources
Designing for mathematical abstraction [PDF]
, 2010 Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as designing for abstraction.
Noss, Richard, Pratt, Dave
core +3 more sources
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
Format abstraction for sparse tensor algebra compilers [PDF]
Proc. ACM Program. Lang., 2018 This paper shows how to build a sparse tensor algebra compiler that is agnostic to tensor formats (data layouts). We develop an interface that describes formats in terms of their capabilities and properties, and show how to build a modular code generator
Stephen Chou +2 more
semanticscholar +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
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
, 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
Becker, Bernd +5 more
core +2 more sources
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
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
Compositional Abstraction and Safety Synthesis Using Overlapping Symbolic Models [PDF]
IEEE Transactions on Automatic Control, 2017 In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete-time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that ...
Pierre-Jean Meyer, A. Girard, E. Witrant
semanticscholar +1 more source