780 search results - page 75 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
UML
2005
Springer
14 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...
DOLAP
2005
ACM
13 years 10 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...
BMCBI
2007
13 years 8 months ago
2007
High-throughput methods can directly detect the set of interacting proteins in yeast but the results are often incomplete and exhibit high false positive and false negative rates....