1548 search results - page 228 / 310 » Statistical Modelling of CSP Solving Algorithms Performance |
JSAT
2008
13 years 9 months ago
2008
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...
GECCO
2009
Springer
13 years 6 months ago
2009
Springer
Public data sharing is utilized in a number of businesses to facilitate the exchange of information. Privacy constraints are usually enforced to prevent unwanted inference of info...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
ICVGIP
2008
13 years 10 months ago
2008
A novel nonlinear cooperative approach to image denoising and restoration is presented. Samples from the image field with similar characteristics are first grouped into clusters b...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
Related entity finding is the task of returning a ranked list of homepages of relevant entities of a specified type that need to engage in a given relationship with a given sour...