2152 search results - page 146 / 431 » A Comparative Study of 2QBF Algorithms |
102
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
153
click to vote
DAM
2000
15 years 4 months ago
2000
Feedback problems consist of removing a minimal number of vertices of a directed or undirected graph in order to make it acyclic. The problem is known to be NPcomplete. In this pa...
150
click to vote
ISCI
2010
15 years 3 months ago
2010
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
192
click to vote
FODO
1998
Springer
15 years 8 months ago
1998
Springer
In this study we present a scheme called two-dimensional BubbleUp (2DB) for managing parallel disks in a multimedia server. Its goal is to reduce initial latency for interactive m...
137
click to vote
PPSN
1998
Springer
15 years 8 months ago
1998
Springer
We present a novel approach to concept learning in which a coevolutionary genetic algorithm is applied to the construction of an immune system whose antibodies can discriminate bet...