Sciweavers

871 search results - page 38 / 175
» Factorized Local Appearance Models
Sort
View
JAIR
2000
123views more  JAIR 2000»
13 years 9 months ago
Backbone Fragility and the Local Search Cost Peak
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...
Josh Singer, Ian P. Gent, Alan Smaill
POPL
1995
ACM
14 years 1 months ago
Total Correctness by Local Improvement in Program Transformation
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...
David Sands
MASS
2010
162views Communications» more  MASS 2010»
13 years 8 months ago
A metric for routing in delay-sensitive wireless sensor networks
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...
Zhen Jiang, Jie Wu, Risa Ito
ICIP
2000
IEEE
14 years 11 months ago
A Wavelet-Based Image Denoising Technique Using Spatial Priors
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...
SIGMETRICS
2000
ACM
104views Hardware» more  SIGMETRICS 2000»
13 years 9 months ago
File popularity characterisation
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...