5314 search results - page 82 / 1063 » Hybrid Dynamic Programming |
107
click to vote
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
121
Voted
ICCV
2001
IEEE
16 years 4 months ago
2001
IEEE
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
105
Voted
HIPEAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
124
click to vote
CADE
2012
Springer
13 years 4 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
145
Voted
EPIA
2001
Springer
15 years 6 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...