Sciweavers

5692 search results - page 121 / 1139
» Challenges and Unsolved Problems
Sort
View
EDBT
2012
ACM
257views Database» more  EDBT 2012»
13 years 3 months ago
Indexing and mining topological patterns for drug discovery
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
Sayan Ranu, Ambuj K. Singh
77
Voted
CAV
2009
Springer
104views Hardware» more  CAV 2009»
16 years 1 months ago
SPEED: Symbolic Complexity Bound Analysis
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
Sumit Gulwani
90
Voted
SPLC
2008
15 years 2 months ago
Automated Analysis of Feature Models Using Atomic Sets
Scalability is recognized as a key challenge in the automated analysis of Feature Models (FMs). Current solutions in this context mainly propose using different logic paradigms as...
Sergio Segura
96
Voted
AAAI
2012
13 years 3 months ago
A Multi-Path Compilation Approach to Contingent Planning
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
Ronen I. Brafman, Guy Shani
83
Voted
ICDM
2005
IEEE
146views Data Mining» more  ICDM 2005»
15 years 6 months ago
Merging Interface Schemas on the Deep Web via Clustering Aggregation
We consider the problem of integrating a large number of interface schemas over the Deep Web, The scale of the problem and the diversity of the sources present serious challenges ...
Wensheng Wu, AnHai Doan, Clement T. Yu