5314 search results - page 202 / 1063 » Hybrid Dynamic Programming |
112
Voted
SOFTVIS
2005
ACM
15 years 8 months ago
2005
ACM
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
111
click to vote
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
Dynamic software visualization is supposed to provide programmers with insights as to what the program is doing. Most current dynamic visualizations either use program traces to s...
149
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
122
Voted
NIPS
1996
15 years 4 months ago
1996
Model learning combined with dynamic programming has been shown to be e ective for learning control of continuous state dynamic systems. The simplest method assumes the learned mod...
139
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...