5314 search results - page 449 / 1063 » Hybrid Dynamic Programming |
156
click to vote
WIA
2005
Springer
16 years 8 days ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
189
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
173
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
175
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
192
click to vote
PARA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...