2152 search results - page 84 / 431 » A Comparative Study of 2QBF Algorithms |
133
click to vote
COLT
2008
Springer
15 years 5 months ago
2008
Springer
We study on-line decision problems where the set of actions that are available to the decision algorithm vary over time. With a few notable exceptions, such problems remained larg...
111
Voted
PARA
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present four parallel algorithms to compute any group of eigenvalues and eigenvectors of a Toeplitz-plus-Hankel matrix. These algorithms parallelize a method that...
135
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
153
click to vote
TEC
2010
14 years 10 months ago
2010
In this paper, we consider the scenario that a population-based algorithm is applied to a numerical optimization problem and a solution needs to be presented within a given time bu...
180
Voted
SPAA
1997
ACM
15 years 8 months ago
1997
ACM
Discovery of association rules is an important database mining problem. Mining for association rules involves extracting patterns from large databases and inferring useful rules f...