8917 search results - page 76 / 1784 » Abstraction in Algorithm Animation |
148
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
172
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
136
click to vote
ITICSE
1999
ACM
15 years 10 months ago
1999
ACM
We present our work on building interactive continuous visualisations of distributed algorithms for educational purposes. The animations are comprised by a set of visualisation wi...
113
click to vote
CEC
2007
IEEE
16 years 15 days ago
2007
IEEE
— We present an ant-based algorithm for spatially sorting objects into an annular structure. The model is minimal, as it requires only stochastic ant behaviour coupled with a phe...
143
click to vote
IV
2005
IEEE
15 years 11 months ago
2005
IEEE
We have developed a visual syntax for representing concepts that are contingent on temporal properties (timedependent semantics). A within-group (N=24) experiment was conducted to...