1972 search results - page 321 / 395 » Evolutionary algorithms and dynamic programming |
143
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
145
click to vote
AIPS
2003
15 years 6 months ago
2003
We present an efficient algorithm for exact calculation and minimization of expected waiting times of all passengers using a bank of elevators. The dynamics of the system are rep...
148
click to vote
APCSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Conditional branch induced control hazards cause significant performance loss in modern out-of-order superscalar processors. Dynamic branch prediction techniques help alleviate th...
147
Voted
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
191
Voted
AI
2011
Springer
14 years 12 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...