5314 search results - page 162 / 1063 » Hybrid Dynamic Programming |
116
click to vote
ADHOCNOW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. One of the most important aspects affecting the overall performance of hybrid ad hoc networks is the efficient selection of Internet gateways. We have analytically model...
102
Voted
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Shadow Hybrid Monte Carlo (SHMC) is a new method for sampling the phase space of large biological molecules. It improves sampling by allowing larger time steps and system sizes in ...
102
Voted
HYBRID
1999
Springer
15 years 6 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
133
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
108
click to vote
WSC
2008
15 years 4 months ago
2008
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...