1508 search results - page 53 / 302 » A Combination Method for Generating Interpolants |
154
Voted
SAT
2010
Springer
15 years 9 months ago
2010
Springer
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
146
click to vote
NIPS
2003
15 years 6 months ago
2003
Discrete Fourier transforms and other related Fourier methods have been practically implementable due to the fast Fourier transform (FFT). However there are many situations where ...
177
click to vote
MICCAI
2005
Springer
16 years 6 months ago
2005
Springer
Combination of multiple segmentations has recently been introduced as an effective method to obtain segmentations that are more accurate than any of the individual input segmentati...
143
click to vote
ICDM
2003
IEEE
15 years 10 months ago
2003
IEEE
A data set can be clustered in many ways depending on the clustering algorithm employed, parameter settings used and other factors. Can multiple clusterings be combined so that th...
139
click to vote
JOC
2008
15 years 5 months ago
2008
In this paper, we study an E0-like combiner with memory as the keystream generator. First, we formulate a systematic and simple method to compute correlations of the FSM output seq...