2214 search results - page 18 / 443 » complexity 2004 |
APAL
2004
13 years 7 months ago
2004
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower...
ATAL
2004
Springer
14 years 28 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we describe the process of mining complex relationships in spatial databases using the Maximal Participation Index (maxPI), which has a property of discovering low s...
ATAL
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
PKDD
2004
Springer
14 years 27 days ago
2004
Springer
One of the most important operations involving Data Mining patterns is computing their similarity. In this paper we present a general framework for comparing both simple and comple...