We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
In this article we present a study based on the use of texture features for logical pre-labeling. The aim of our work is to calculate a great number of texture features over three...
The Classloader has long been one of the key extensibility points of the Java Virtual Machine architecture. It lies at the heart of many of the distributed mechanisms that have mad...
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
Ken Lunn, Andrew Sixsmith, Ann Lindsay, Marja Vaar...
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...