5314 search results - page 190 / 1063 » Hybrid Dynamic Programming |
119
Voted
JAPLL
2010
14 years 9 months ago
2010
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
128
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
96
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper presents a hybrid control architecture for autonomous robotic fishes which are able to swim and navigate in unknown or dynamically changing environments. It has a t...
111
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
165
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...