8917 search results - page 31 / 1784 » Abstraction in Algorithm Animation |
107
click to vote
CORR
2010
Springer
14 years 4 months ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
ICALP
2011
Springer
14 years 1 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
TOCL
2008
14 years 9 months ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
Generating artificial classic mosaics from digital images is an area of NPR rendering that has recently seen several successful approaches. A sequence of mosaic images creates a u...
IANDC
2008
14 years 9 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...