4118 search results - page 590 / 824 » Efficient Algorithms for Airline Problem |
147
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
132
Voted
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
The 2.1D sketch is a layered representation of occluding and occluded surfaces of the scene. Extracting the 2.1D sketch from a single image is a difficult and important problem ar...
141
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we consider the problem of incorporating privacy protection in a biometric access control system. An Anonymous Biometric Access Control (ABAC) system is proposed to...
110
click to vote
INFFUS
2010
15 years 2 months ago
2010
We consider the problem of collective decision-making from an arbitrary set of classifiers under Sugeno fuzzy integral (S-FI). We assume that classifiers are given, i.e., they can...
159
click to vote
ACCV
2010
Springer
14 years 11 months ago
2010
Springer
Accurate localization of the salient object from an image is a difficult problem when the saliency map is noisy and incomplete. A fast approach to detect salient objects from image...