780 search results - page 4 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
ISTA
2004
13 years 10 months ago
2004
Currently, there are two main basic approaches to data integration: Global-as-View (GaV) and Local-as-View (LaV). However, both GaV and LaV have their limitations. In a GaV approa...
INCDM
2010
Springer
14 years 13 days ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
DILS
2004
Springer
14 years 2 months ago
2004
Springer
Meaningfully integrating massive multi-experimental genomic data sets is becoming critical for the understanding of gene function. We have recently proposed methodologies for integ...
ICTAC
2004
Springer
14 years 2 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...
MCS
2002
Springer
13 years 8 months ago
2002
Springer
The increasing amount and complexity of data in toxicity prediction calls for new approaches based on hybrid intelligent methods for mining the data. This focus is required even mo...