Sciweavers

3038 search results - page 73 / 608
» Controlling Engineering Problem Solving
Sort
View
GECCO
2006
Springer
123views Optimization» more  GECCO 2006»
14 years 23 days ago
Real-time construction of aircraft landing schedules using an evolutionary algorithm
This poster investigates the use of Evolutionary Algorithms (EAs) to optimise solutions to the Dynamic Aircraft Landing Problem (DALP). The approach adopted here uses an EA to evo...
Neil Urquhart
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
14 years 1 months ago
Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints
We use viability techniques for solving Dirichlet problems with inequality constraints (obstacles) for a class of Hamilton-Jacobi equations. The hypograph of the “solution” is ...
Jean-Pierre Aubin, Alexandre M. Bayen, Patrick Sai...
ICCV
2007
IEEE
14 years 11 months ago
Accurate Non-Iterative O(n) Solution to the PnP Problem
We propose a non-iterative solution to the PnP problem--the estimation of the pose of a calibrated camera from n 3D-to-2D point correspondences--whose computational complexity gro...
Francesc Moreno-Noguer, Vincent Lepetit, Pascal Fu...
VSTTE
2005
Springer
14 years 2 months ago
Decision Procedures for the Grand Challenge
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
Daniel Kroening
IROS
2008
IEEE
106views Robotics» more  IROS 2008»
14 years 3 months ago
Viability and predictive control for safe locomotion
— The problem of safe locomotion of legged and wheeled robots, when trying to avoid falling, tipping over or hitting obstacles, appears to be a problem of viability and not of Ly...
Pierre-Brice Wieber