GridRM is an open and extensible resource monitoring system, based on the Global Grid Forum's Grid Monitoring Architecture (GMA). GridRM is not intended to interact with appl...
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...
Flying insects use highly efficient visual strategies to control their self-motion in three-dimensional space. We present a biologically inspired, minimalistic model for visual ...
In this paper we propose a series of novel morphological operators that are anisotropic, and adapt themselves to the local orientation in the image. This new morphology is therefor...
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
Bhaskar Krishnamachari, Xi Xie, Bart Selman, Steph...