Sciweavers

62 search results - page 3 / 13
» Using temporal patterns of interactions to design effective ...
Sort
View
SIGMOD
2010
ACM
208views Database» more  SIGMOD 2010»
13 years 4 months ago
An automated, yet interactive and portable DB designer
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...
Ioannis Alagiannis, Debabrata Dash, Karl Schnaitte...
BMCBI
2010
153views more  BMCBI 2010»
13 years 6 months ago
PPLook: an automated data mining tool for protein-protein interaction
Background: Extracting and visualizing of protein-protein interaction (PPI) from text literatures are a meaningful topic in protein science. It assists the identification of inter...
Shao-Wu Zhang, Yao-Jun Li, Li Xia, Quan Pan
ICDE
2002
IEEE
164views Database» more  ICDE 2002»
14 years 7 months ago
Towards Meaningful High-Dimensional Nearest Neighbor Search by Human-Computer Interaction
Nearest Neighbor search is an important and widely used problem in a number of important application domains. In many of these domains, the dimensionality of the data representati...
Charu C. Aggarwal
GIS
2002
ACM
13 years 6 months ago
Opening the black box: interactive hierarchical clustering for multivariate spatial patterns
Clustering is one of the most important tasks for geographic knowledge discovery. However, existing clustering methods have two severe drawbacks for this purpose. First, spatial c...
Diansheng Guo, Donna Peuquet, Mark Gahegan
CADE
2005
Springer
14 years 6 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill