971 search results - page 143 / 195 » Approximate Satisfiability and Equivalence |
102
click to vote
ICML
2010
IEEE
15 years 28 days ago
2010
IEEE
We propose a novel boosting algorithm which improves on current algorithms for weighted voting classification by striking a better balance between classification accuracy and the ...
DAM
2008
14 years 12 months ago
2008
Discrete tomography deals with image reconstruction of an object with finitely many gray levels (such as two). Different approaches are used to model the raw detector reading. The...
FSS
2008
14 years 12 months ago
2008
Classical consistency degree has some limitations for measuring the consistency of a decision table, in which the lower approximation of a target decision is only taken into consi...
106
click to vote
COR
2006
14 years 12 months ago
2006
This paper presents an extension of the capacitated facility location problem (CFLP), in which the general setup cost functions and multiple facilities in one site are considered....
105
click to vote
IJRR
2008
14 years 12 months ago
2008
The motion-planning problem, involving the computation of a collision-free path for a moving entity amidst obstacles, is a central problem in fields like Robotics and Game Design....