611 search results - page 50 / 123 » Index Sets of Computable Structures with Decidable Theories |
ALGORITHMICA
2002
13 years 7 months ago
2002
In recent years there has been an upsurge of interest in spatial databases. A major issue is how to manipulate efficiently massive amounts of spatial data stored on disk in multidi...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
This paper introduces the concept of a critical backbone as a minimal set of variables or part of the solution necessary to be within the basin of attraction of the global optimum...
ICWSM
2009
13 years 5 months ago
2009
In recent years, we have witnessed a significant growth of "social computing" services, or online communities where users contribute content in various forms, including ...
FSTTCS
1992
Springer
14 years 2 days ago
1992
Springer
Levin introduced an average-case complexity measure, based on a notion of \polynomialon average," and de ned \average-case polynomial-time many-one reducibility" amongra...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
Discovering coherent gene expression patterns in time-series gene expression data is an important task in bioinformatics research and biomedical applications. In this paper, we pr...