1813 search results - page 283 / 363 » Instance Pruning Techniques |
157
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
128
click to vote
RT
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a new hierarchical simulation algorithm allowing the calculation of radiosity solutions for time-dependent scenes where all motion is known a priori. Such solut...
177
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Parallel genetic algorithms (PGAs) have been developed to reduce the large execution times that are associated with serial genetic algorithms (SGAs). They have also been used to s...
121
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
121
click to vote
ECML
1997
Springer
15 years 8 months ago
1997
Springer
We investigate an inherent limitation of top-down decision tree induction in which the continuous partitioning of the instance space progressively lessens the statistical support o...