Sciweavers

620 search results - page 116 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
IJCNN
2008
IEEE
14 years 1 months ago
Numerical condition of feedforward networks with opposite transfer functions
— Numerical condition affects the learning speed and accuracy of most artificial neural network learning algorithms. In this paper, we examine the influence of opposite transfe...
Mario Ventresca, Hamid R. Tizhoosh
FUZZIEEE
2007
IEEE
14 years 1 months ago
Soft Target Based Obstacle Avoidance for Car-like Mobile Robot in Dynamic Environment
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
Yougen Chen, Seiji Yasunobu
CP
2007
Springer
14 years 1 months ago
Solution Directed Backjumping for QCSP
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
Fahiem Bacchus, Kostas Stergiou
GECCO
2007
Springer
192views Optimization» more  GECCO 2007»
14 years 1 months ago
Self-adaptive ant colony optimisation applied to function allocation in vehicle networks
Modern vehicles possess an increasing number of software and hardware components that are integrated in electronic control units (ECUs). Finding an optimal allocation for all comp...
Manuel Förster, Bettina Bickel, Bernd Hardung...
GPCE
2007
Springer
14 years 1 months ago
42: programmable models of computation for a component-based approach to heterogeneous embedded systems
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
Florence Maraninchi, Tayeb Bouhadiba