914 search results - page 59 / 183 » Analysis of Heuristic Synergies |
102
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
SSIAI
2002
IEEE
15 years 4 months ago
2002
IEEE
Point matching is the task of finding a set of correspondences between two sets of points under some geometric transformation. A local search algorithm for point matching is pres...
117
click to vote
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper presents a new approach for the binarization of seriously degraded manuscript. We introduce a new technique based on a Markov Random Field (MRF) model of the document. ...
ICCD
2007
IEEE
15 years 8 months ago
2007
IEEE
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...