5639 search results - page 447 / 1128 » Timed Abstract Non-interference |
126
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...
120
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractEvolutionary Algorithms (EAs) have been used to achieve optimal feedforward control in a number of fedbatch fermentation processes. Typically, the optimization purpose is t...
180
click to vote
DALT
2005
Springer
15 years 10 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
163
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...