756 search results - page 58 / 152 » A new algorithm for Boolean operations on general polygons |
CORR
2011
Springer
12 years 12 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
EUSFLAT
2003
13 years 9 months ago
2003
The paper presents a specialised Partial Least Squares (PLS) algorithm for on-line calibration monitoring. At first, the basic scheme and philosophy of PEANO (Process Evaluation a...
ISMIS
2011
Springer
12 years 11 months ago
2011
Springer
In the paper we present a new evolutionary algorithm for induction of regression trees. In contrast to the typical top-down approaches it globally searches for the best tree struct...
CPAIOR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
WG
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we investigate the basic problem of Exploration of a graph by a group of identical mobile computational entities, called robots, operating autonomously and asynchrono...