1421 search results - page 58 / 285 » The First and Second Max-SAT Evaluations |
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper presents a non-rigid registration method for the restoration of double-sided historical manuscripts. Firstly, the gradient direction maps of the two images of a manuscr...
PKDD
2009
Springer
14 years 2 months ago
2009
Springer
We explore an algorithm for training SVMs with Kernels that can represent the learned rule using arbitrary basis vectors, not just the support vectors (SVs) from the training set. ...
AINA
2008
IEEE
14 years 2 months ago
2008
IEEE
We consider scheduling distributed real-time tasks in unreliable (e.g., those with arbitrary node and network failures) and untrustworthy systems (e.g., those with Byzantine node ...
DDECS
2008
IEEE
14 years 2 months ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this work we implement a confidence estimation system based on a Naive Bayes classifier, by using the maximum entropy paradigm. The model takes information from various sourc...