Sciweavers

620 search results - page 113 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
HM
2005
Springer
140views Optimization» more  HM 2005»
14 years 1 months ago
Fast Ejection Chain Algorithms for Vehicle Routing with Time Windows
Abstract. This paper introduces a new algorithm, based on the concept of ejection chains, to effectively target vehicle routing problems with time window constraints (VRPTW). Ejec...
Herman Sontrop, Pieter van der Horn, Marc Uetz
IEAAIE
2005
Springer
14 years 1 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
IWINAC
2005
Springer
14 years 1 months ago
Estimation of Fuel Moisture Content Using Neural Networks
Fuel moisture content (FMC) is one of the variables that drive fire danger. Artificial Neural Networks (ANN) were tested to estimate FMC by calculating the two variables implicat...
David Riaño, S. L. Ustin, L. Usero, Miguel ...
SAC
2004
ACM
14 years 27 days ago
Concatenate feature extraction for robust 3D elliptic object localization
Developing an efficient object localization system for complicated industrial objects is an important, yet difficult robotic task. To tackle this problem, we have developed a syst...
Yuichi Motai, Akio Kosaka
ACRI
2004
Springer
14 years 27 days ago
Reconstructing Forest Savanna Dynamics in Africa Using a Cellular Automata Model, FORSAT
Large areas of savannas are found in Africa in climatic zones favourable to humid tropical forests: they are relicts of past dry periods and forest domains are naturally expanding....
Charly Favier, Marc A. Dubois