3394 search results - page 147 / 679 » A Space and Time Efficient Algorithm for SimRank Computation |
CADE
2002
Springer
14 years 8 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
CCE
2005
13 years 8 months ago
2005
A general method to design optimal redundant sensor network even in the case of one sensor failure and able to estimate process key parameters within a required accuracy is propos...
NETWORK
2011
13 years 3 months ago
2011
Inferring the subjective perception of a video stream in real time continues to be a stiff problem. This article presents MintMOS: a lightweight, no-reference, loadable kernel mod...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
Music classification continues to be an important component of music information retrieval research. An underutilized tool for improving the performance of classifiers is feature ...
ECP
1997
Springer
14 years 5 days ago
1997
Springer
During the planning process, a planner may have many options for refinements to perform on the plan being developed. The planner’s efficiency depends on how it chooses which ref...