461 search results - page 40 / 93 » Splitting NP-Complete Sets |
CADE
2007
Springer
14 years 11 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...
ICASSP
2009
IEEE
14 years 5 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...
ICDM
2009
IEEE
14 years 5 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 ...
ICTAI
2008
IEEE
14 years 5 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 ...
VTC
2007
IEEE
14 years 5 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...