15660 search results - page 3009 / 3132 » The Unbalance of Set Systems |
167
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
To reason effectively about programs, it is important to have some version of a transitive-closure operator so that we can describe such notions as the set of nodes reachable from ...
166
click to vote
DBISP2P
2004
Springer
15 years 12 months ago
2004
Springer
Peer-to-Peer infrastructures are emerging as one of the important data management infrastructures in the World Wide Web. So far, however, most work has focused on simple P2P networ...
179
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
190
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...
138
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes POPE-GP, a system that makes use of the NSGA-II multiobjective evolutionary algorithm as an alternative, parameter-free technique for eliminating program bloat...