1277 search results - page 41 / 256 » Terminating Decision Algorithms Optimally |
135
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
114
click to vote
ICONIP
1998
15 years 4 months ago
1998
This paper describes a practical application of a novel terminal attractor algorithm to the construction of Perfect Hash Functions (PHF) for a prede ned set of keys. The proposed ...
168
click to vote
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
106
click to vote
WAOA
2007
Springer
15 years 9 months ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
104
click to vote
AAAI
2006
15 years 4 months ago
2006
Active fusion is a process that purposively selects the most informative information from multiple sources as well as combines these information for achieving a reliable result ef...