2266 search results - page 414 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
128
click to vote
ADC
2003
Springer
15 years 6 months ago
2003
Springer
This paper proposes a novel way of automatically developing data warehouse configuration in rule-based CRM systems. Rule-based CRM systems assume that marketing activities are re...
195
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
105
click to vote
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. A global Data warehouse (DW) integrates data from multiple distributed heterogeneous databases and other information sources. DW can be abstractly seen as a set of materi...
103
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Multihop lightwave networks are becoming increasingly popular in optical networks. It is attractive to consider regular graphs as the logical topology for a multihop network, due t...
136
click to vote
FOSSACS
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...