2969 search results - page 423 / 594 » A space efficient algorithm for group structure computation |
138
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
Recent web search techniques augment traditional text matching with a global notion of "importance" based on the linkage structure of the web, such as in Google's P...
152
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
141
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we study the following problem. Given a database and a set of queries, we want to find, in advance, a set of views that can compute the answers to the queries, such ...
175
click to vote
AIEDU
2005
15 years 6 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...
169
click to vote
PODS
2002
ACM
16 years 6 months ago
2002
ACM
In multidimensional data models intended for online analytic processing (OLAP), data are viewed as points in a multidimensional space. Each dimension has structure, described by a...