Sciweavers

7393 search results - page 406 / 1479
» Synthesis-for-testability using transformations
Sort
View
DICTA
2007
15 years 6 months ago
Attitude Estimation for a Fixed-Wing Aircraft Using Horizon Detection and Optical Flow
We develop a method for estimating the flight critical parameters of pitch angle, roll angle and the three body rates using horizon detection and optical flow. We achieve this t...
Damien Dusha, Wageeh Boles, Rodney Walker
ICPR
2010
IEEE
16 years 2 days ago
Partial Face Biometry Using Shape Decomposition on 2D Conformal Maps of Faces
In this paper, we introduce a new approach for partial 3D face recognition, which makes use of shape decomposition over the rigid1 part of a face. To explore the descriptiveness o...
Przemyslaw Szeptycki, Mohsen Ardabilian, Liming Ch...
CEC
2008
IEEE
15 years 11 months ago
On the usefulness of infeasible solutions in evolutionary search: A theoretical study
— Evolutionary algorithms (EAs) have been widely used in optimization, where infeasible solutions are often encountered. Some EAs regard infeasible solutions as useless individua...
Yang Yu, Zhi-Hua Zhou
SERA
2005
Springer
15 years 10 months ago
Bridging the Gap between Analysis and Design Using Dependency Diagrams
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
Simona Vasilache, Jiro Tanaka
AOSE
2004
Springer
15 years 10 months ago
Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
Mercedes Amor, Lidia Fuentes, Antonio Vallecillo