461 search results - page 40 / 93 » Splitting NP-Complete Sets |
106
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
92
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose the combination of Orthogonal Frequency Division Multiplexing (OFDM) and Turbo DeCodulation (TDeC) – a multiple Turbo process consisting of iterative demodulation and...
103
Voted
ICDM
2009
IEEE
15 years 7 months ago
2009
IEEE
: In this paper, we present a novel method for fast data-driven construction of regression trees from temporal datasets including continuous data streams. The proposed Mean Output ...
102
Voted
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a new ensemble learning method that employs a set of regional classifiers, each of which learns to handle a subset of the training data. We split the training data and ...
100
Voted
VTC
2007
IEEE
15 years 7 months ago
2007
IEEE
—Regarding to address allocation, a mobile ad hoc network (MANET) may suffer from the lack of address and network partition/merging due to mobility of nodes. In this paper, we pr...