The local search algorithm WSat is one of the most successful algorithms for solving the satisfiability (SAT) problem. It is notably effective at solving hard Random 3-SAT instanc...
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
Abstract--We present a new scheme to reduce the end-toend routing delay in the mission-critical applications of the wireless sensor networks (WSNs) under the duty cycle model. Whil...
We propose a new wavelet-based method for im age denoising that applies the Bayesian framework, using prior knowledge about the spatial clustering of the wavelet coefficients. Loc...
Aleksandra Pizurica, Wilfried Philips, Ignace Lema...
A key determinant of the effectiveness of a web cache is the locality of the files requested. In the past this has been difficult to model, as locality appears to be cache specifi...
Chris M. Roadknight, Ian W. Marshall, Debbie Veare...