5578 search results - page 540 / 1116 » Base Class Injection |
160
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
158
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
List-based priority schedulers have long been one of the dominant classes of static scheduling algorithms. Such heuristics have been predominantly based around the "critical ...
158
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In order to escape from local optima, it is standard practice to periodically restart a genetic algorithm according to some restart criteria/policy. This paper addresses ...
175
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
202
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of ordinal classification, in which a value set of the decision attribute (output, dependent variable) is finite and ordered. This problem shares some chara...