Sciweavers

620 search results - page 76 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
DIAGRAMS
2004
Springer
14 years 2 months ago
Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data
Decision trees are a widely used knowledge representation in machine learning. However, one of their main drawbacks is the inherent replication of isomorphic subtrees, as a result...
Christophe Mues, Bart Baesens, Craig M. Files, Jan...
ECAI
2004
Springer
14 years 2 months ago
A Backtracking Strategy for Order-Independent Incremental Learning
Agents that exist in an environment that changes over time, and are able to take into account the temporal nature of experience, are commonly called incremental learners. It is wid...
Nicola Di Mauro, Floriana Esposito, Stefano Ferill...
CEC
2003
IEEE
14 years 2 months ago
An evolutionary approach for reducing the switching activity in address buses
In this paper we present two new approaches based on genetic algorithms (GA) to reduce power consumption by communication buses in an embedded system. The first approach makes it ...
Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi,...
AIME
2003
Springer
14 years 2 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
ICTAI
2002
IEEE
14 years 1 months ago
Maintenance Scheduling of Oil Storage Tanks Using Tabu-Based Genetic Algorithm
Due to the entry of Taiwan into WTO and the recently liberalized Petroleum Management Law, the oil market in Taiwan is liberalized and thus is becoming more competitive. However, ...
Sheng-Tun Li, Chuan-Kang Ting, Chungnan Lee, Shu-C...