7961 search results - page 1360 / 1593 » Data Integration with Uncertainty |
ICTAC
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
ICWE
2004
Springer
14 years 4 months ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
ISNN
2004
Springer
14 years 4 months ago
2004
Springer
This paper proposes a novel clustering analysis algorithm based on principal component analysis (PCA) and self-organizing maps (SOMs) for clustering the gene expression patterns. T...
LOPSTR
2004
Springer
14 years 4 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
MIDDLEWARE
2004
Springer
14 years 4 months ago
2004
Springer
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...