Sciweavers

8917 search results - page 76 / 1784
» Abstraction in Algorithm Animation
Sort
View
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
14 years 7 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
ICCV
1995
IEEE
15 years 1 months ago
FORMS: A Flexible Object Recognition and Modelling System
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...
Song Chun Zhu, Alan L. Yuille
ITICSE
1999
ACM
15 years 2 months ago
Distributed algorithms visualisation for educational purposes
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...
Boris Koldehofe, Marina Papatriantafilou, Philippa...
CEC
2007
IEEE
15 years 4 months ago
An ant-based algorithm for annular sorting
— 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...
Martyn Amos, Oliver Don
IV
2005
IEEE
86views Visualization» more  IV 2005»
15 years 3 months ago
Visualizing Time Dependent Semantics: An Application to Quantum Algorithms
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...
Nivedita R. Kadaba, Pourang Irani, Michel Toulouse