914 search results - page 59 / 183 » Analysis of Heuristic Synergies |
122
click to vote
TABLEAUX
2009
Springer
15 years 8 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...
116
click to vote
SSIAI
2002
IEEE
15 years 6 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...
146
click to vote
ICDAR
2009
IEEE
14 years 11 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 10 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...
108
click to vote
SIGIR
2009
ACM
15 years 8 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...