532 search results - page 28 / 107 » Optimal Control Using Bisimulations: Implementation |
138
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
103
click to vote
RAS
2006
15 years 4 months ago
2006
This paper describes an algorithm to calculate near-optimal minimum time trajectories for four wheeled omnidirectional vehicles, which can be used as part of a high-level path pla...
149
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Evolutionary multi-objective optimization (EMO) methodologies, suggested in the beginning of Nineties, focussed on the task of finding a set of well-converged and well-distribute...
116
click to vote
RECONFIG
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents an embedded FPGA–based architecture to compute navigation trajectories along a harmonic potential. The goals and obstacles may be changed during computation....
145
click to vote
RTS
2008
15 years 3 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...