Sciweavers

1573 search results - page 134 / 315
» A Data Structure for Sponsored Search
Sort
View
ESOA
2006
14 years 24 days ago
Dynamic Decentralized Any-Time Hierarchical Clustering
Hierarchical clustering is used widely to organize data and search for patterns. Previous algorithms assume that the body of data being clustered is fixed while the algorithm runs...
H. Van Dyke Parunak, Richard Rohwer, Theodore C. B...
TPHOL
2000
IEEE
14 years 1 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin
ESANN
2001
13 years 10 months ago
An integrated neural IR system
Over the years the amount and range of electronic text stored on the WWW has expanded rapidly, overwhelming both users and tools designed to index and search the information. It is...
Victoria J. Hodge, Jim Austin
CGF
2010
204views more  CGF 2010»
13 years 9 months ago
Automatic Animation for Time-Varying Data Visualization
This paper presents a digital storytelling approach that generates automatic animations for time-varying data visualization. Our approach simulates the composition and transition ...
Li Yu, Aidong Lu, William Ribarsky, Wei Chen
IR
2008
13 years 9 months ago
A compressed self-index using a Ziv-Lempel dictionary
A compressed full-text self-index for a text T , of size u, is a data structure used to search for patterns P, of size m, in T , that requires reduced space, i.e. space that depend...
Luís M. S. Russo, Arlindo L. Oliveira