5314 search results - page 444 / 1063 » Hybrid Dynamic Programming |
211
click to vote
IANDC
2010
15 years 4 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
228
click to vote
ICLA
2011
Springer
14 years 10 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
172
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
202
click to vote
CASCON
2000
15 years 8 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...
301
click to vote
ARTCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...