Sciweavers

6149 search results - page 24 / 1230
» Revealing the programming process
Sort
View
ICPR
2008
IEEE
16 years 12 days ago
Tree-serial dynamic programming for image processing
A lot of image analysis problems lend themselves to a unified mathematical formulation as optimization problems. Tree-serial dynamic programming is a particular case of the so-cal...
Andrey Kopylov
APLAS
2006
ACM
15 years 12 months ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
IFIP
2004
Springer
15 years 11 months ago
Highly Undecidable Questions for Process Algebras
Petr Jancar, Jirí Srba
SIGADA
1998
Springer
15 years 10 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford