780 search results - page 21 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
INCDM
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we introduce an integration study which combines Data Mining (DM) and Agent Based Modeling and Simulation (ABMS). This study, as a new paradigm for DM/ABMS, is conce...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
ICTAI
2003
IEEE
14 years 2 months ago
2003
IEEE
With the exploding volume of microarray experiments comes increasing interest in mining repositories of such data. Meaningfully combining results from varied experiments on an equ...
ENTCS
2007
13 years 9 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
ICDE
2002
IEEE
14 years 10 months ago
2002
IEEE
The goal of a data integration system is to provide a uniform interface to a multitude of data sources. Given a user query formulated in this interface, the system translates it i...