3656 search results - page 477 / 732 » Compact Location Problems |
181
click to vote
CADE
2007
Springer
16 years 23 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
198
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
213
click to vote
SSD
2007
Springer
16 years 21 days ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
182
click to vote
TAMC
2007
Springer
16 years 21 days ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...
188
click to vote
ICDM
2006
IEEE
16 years 19 days ago
2006
IEEE
Clustering is ill-defined. Unlike supervised learning where labels lead to crisp performance criteria such as accuracy and squared error, clustering quality depends on how the cl...