Sciweavers

3663 search results - page 132 / 733
» Problems in the ontology of computer programs
Sort
View
FAC
2002
78views more  FAC 2002»
14 years 9 months ago
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
Jürgen Dingel
IJCAI
1989
14 years 11 months ago
Simulating Student Programmers
A cognitive model of student programmers is presented. The model is based on protocol studies of students writing Pascal programs, and is implemented in a computer simulation prog...
James C. Spohrer, Elliot Soloway
ICRA
2005
IEEE
129views Robotics» more  ICRA 2005»
15 years 3 months ago
Dynamic Programming in Reduced Dimensional Spaces: Dynamic Planning For Robust Biped Locomotion
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...
Mike Stilman, Christopher G. Atkeson, James Kuffne...
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
14 years 11 months ago
Enhanced generalized ant programming (EGAP)
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
Amirali Salehi-Abari, Tony White
AOR
2010
14 years 7 months ago
Computing general static-arbitrage bounds for European basket options via Dantzig-Wolfe decomposition
We study the problem of computing general static-arbitrage bounds for European basket options; that is, computing bounds on the price of a basket option, given the only assumption...
Javier Peña, Xavier Saynac, Juan Carlos Ver...