6800 search results - page 902 / 1360 » Testing with Functions as Specifications |
184
click to vote
ICAISC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Many sophisticated classification algorithms have been proposed. However, there is no clear methodology of comparing the results among different methods. According to ou...
178
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Significant operational cost and energy savings can be achieved by optimising the schedules of pumps, which pump water from source reservoirs to storage tanks, in Water ...
180
click to vote
DLS
2007
15 years 8 months ago
2007
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
169
click to vote
ATMOS
2007
15 years 8 months ago
2007
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
170
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper we propose a suite of techniques for planning with temporally extended preferences (TEPs). To this end, we propose a method for compiling TEP planning problems into ...