3818 search results - page 314 / 764 » Word Problems on Compressed Words |
193
Voted
IDEAL
2010
Springer
15 years 5 months ago
2010
Springer
Automated Planning is a very active area of research within Artiļ¬cial Intelligence. Broadly this discipline deals with the methods by which an agent can independently determine t...
160
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
182
click to vote
JUCS
2010
15 years 5 months ago
2010
: River Formation Dynamics (RFD) is an evolutionary computation method based on copying how drops form rivers by eroding the ground and depositing sediments. Given a cost-evaluated...
170
click to vote
NA
2010
15 years 5 months ago
2010
Quasi-Newton methods for solving singular systems of nonlinear equations are considered in this paper. Singular roots cause a number of problems in implementation of iterative met...
172
click to vote
PR
2010
15 years 5 months ago
2010
The total variation-based image denoising model has been generalized and extended in numerous ways, improving its performance in diļ¬erent contexts. We propose a new penalty func...