7892 search results - page 15 / 1579 » Programming with Models |
FAABS
2000
Springer
14 years 1 days ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
PODS
1990
ACM
14 years 14 days ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
WSC
2008
13 years 10 months ago
2008
Optimization
IPPS
1999
IEEE
14 years 22 days ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
COCO
2005
Springer
14 years 2 months ago
2005
Springer
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...