3353 search results - page 506 / 671 » Laver and set theory |
76
Voted
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper introduces a new variety of learning classifier system (LCS), called MILCS, which utilizes mutual information as fitness feedback. Unlike most LCSs, MILCS is specifical...
HIPC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...
91
Voted
ICDCIT
2007
Springer
15 years 4 months ago
2007
Springer
This paper considers the problem of unicasting in wireless ad hoc networks. Unicasting is the problem of finding a route between a source and a destination and forwarding the mess...
111
click to vote
LOPSTR
2007
Springer
15 years 4 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
PERSUASIVE
2007
Springer
15 years 4 months ago
2007
Springer
Persuasive games are a relatively new phenomenon, and hold promise as effective vehicles for persuasion. As yet, however, there are few set rules guiding how to design persuasive ...