16091 search results - page 2906 / 3219 » Solving |
173
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
172
click to vote
CPAIOR
2005
Springer
16 years 10 days ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
222
click to vote
CRYPTO
2005
Springer
16 years 10 days ago
2005
Springer
Error correcting codes and matroids have been widely used in the study of ordinary secret sharing schemes. In this paper, we study the connections between codes, matroids, and a s...
201
click to vote
CVBIA
2005
Springer
16 years 10 days ago
2005
Springer
Registration, that is, the alignment of multiple images, has been one of the most challenging problems in the field of computer vision. It also serves as an important role in biome...
197
click to vote
DGCI
2005
Springer
16 years 10 days ago
2005
Springer
A new approach to ray tracing implicit surfaces based on recursive space subdivision is presented in this paper. Interval arithmetic, already used to calculate intersections in ray...