8917 search results - page 446 / 1784 » Abstraction in Algorithm Animation |
150
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
229
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
162
click to vote
FMOODS
2007
15 years 8 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...
174
click to vote
HCI
2007
15 years 8 months ago
2007
The Gesture and Activity Recognition Toolit (GART) is a user interface toolkit designed to enable the development of gestureplications. GART provides an abstraction to machine lear...
185
click to vote
ESA
2010
Springer
15 years 8 months ago
2010
Springer
We consider parameterized convex optimization problems over the unit simplex, that depend on one parameter. We provide a simple and efficient scheme for maintaining an -approximat...