Local search is widely applied to satisfiable SAT problems, and on some problem classes outperforms backtrack search. An intriguing challenge posed by Selman, Kautz and McAlleste...
We examine 89 websites from federal regulatory agencies in order to evaluate their ease of use for those interested in commenting on or learning about their proposed regulations. ...
During computer-mediated synchronous collaboration there is need for supporting reflection of the partners involved. In this paper we study techniques for determining the state of ...
Meletis Margaritis, Nikolaos M. Avouris, Georgios ...
Abstract. The EENCL algorithm [1] automatically designs neural network ensembles for classification, combining global evolution with local search based on gradient descent. Two mec...
The GRASIM (Graph-Aided Similarity calculation) algorithm is designed to solve the problem of ontology-based data matching. We subdivide the matching problem into the ones of restr...