6800 search results - page 568 / 1360 » Testing with Functions as Specifications |
223
click to vote
EMO
2006
Springer
15 years 11 months ago
2006
Springer
Multi-Objective Evolutionary Algorithms (MOEA) have been succesfully applied to solve control problems. However, many improvements are still to be accomplished. In this paper a new...
201
click to vote
AICCSA
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
201
click to vote
IDMS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
188
click to vote
ILP
2000
Springer
15 years 11 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
209
click to vote
VLDB
1995
ACM
15 years 11 months ago
1995
ACM
Previous studies on mining association rules find rules at single concept level, however, mining association rules at multiple concept levels may lead to the discovery of more spe...