4457 search results - page 322 / 892 » Tests of Machine Intelligence |
156
click to vote
ECAIW
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we present a tabu approach for a version of the Sports League Scheduling Problem. The approach adopted is based on a formulation of the problem as a Constraint Satisf...
191
click to vote
PRICAI
1998
Springer
15 years 11 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
162
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
180
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Existing niching techniques commonly use the Euclidean distance metric in the decision space for the classification of feasible solutions to the niches under formation. This approa...
180
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...