Sciweavers

1399 search results - page 90 / 280
» Engineering search computing applications: vision and challe...
Sort
View
VSTTE
2005
Springer
15 years 11 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
COMPGEOM
2009
ACM
16 years 21 days ago
High resolution surface reconstruction from overlapping multiple-views
Extracting a computer model of a real scene from a sequence of views, is one of the most challenging and fundamental problems in computer vision. Stereo vision algorithms allow us...
Nader Salman, Mariette Yvinec
CVPR
2008
IEEE
16 years 8 months ago
Real time object tracking based on dynamic feature grouping with background subtraction
Object detection and tracking has various application areas including intelligent transportation systems. We introduce an object detection and tracking approach that combines the ...
ZuWhan Kim
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
15 years 11 months ago
Three dimensional evolutionary aerodynamic design optimization with CMA-ES
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
Martina Hasenjäger, Bernhard Sendhoff, Toyota...
335
Voted
ICAC
2009
IEEE
16 years 28 days ago
Applying genetic algorithms to decision making in autonomic computing systems
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
Andres J. Ramirez, David B. Knoester, Betty H. C. ...