464 search results - page 12 / 93 » hybrid 2009 |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
TAP
2009
Springer
14 years 2 months ago
2009
Springer
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
GECCO
2009
Springer
14 years 2 days ago
2009
Springer
This paper benchmarks an Estimation of Distribution Algorithm (EDA) and Particle Swarm Optimizer (PSO) on noisefree BBOB 2009 testbed. The algorithm is referred to as EDA-PSO and ...
HYBRID
2009
Springer
13 years 10 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...