Sciweavers

2302 search results - page 89 / 461
» Testing as Abstraction
Sort
View
EVOW
2010
Springer
16 years 25 days ago
A Directed Mutation Operator for Real Coded Genetic Algorithms
Abstract. Developing directed mutation methods has been an interesting research topic to improve the performance of genetic algorithms (GAs) for function optimization. This paper i...
Imtiaz Korejo, Shengxiang Yang, Changhe Li
AH
2008
Springer
16 years 21 days ago
Guaranteeing the Correctness of an Adaptive Tutoring System
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
Pilar Prieto Linillos, Sergio Gutiérrez San...
WCRE
2007
IEEE
16 years 18 days ago
Interprocedural Static Single Assignment Form
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduar...
ISICA
2007
Springer
16 years 15 days ago
On the Performance of Metamodel Assisted MOEA/D
Abstract. MOEA/D is a novel and successful Multi-Objective Evolutionary Algorithms(MOEA) which utilizes the idea of problem decomposition to tackle the complexity from multiple obj...
Wudong Liu, Qingfu Zhang, Edward P. K. Tsang, Cao ...
OTM
2007
Springer
16 years 14 days ago
An Evaluation of Triple-Store Technologies for Large Data Stores
Abstract. This paper presents a comparison of performance of various triplestore technologies currently in either production release or beta test. Our comparison of triple-store te...
Kurt Rohloff, Mike Dean, Ian Emmons, Dorene Ryder,...