Sciweavers

379 search results - page 14 / 76
» Foundations of Uncertain-Data Integration
Sort
View
FMLDO
1999
Springer
94views Database» more  FMLDO 1999»
14 years 1 months ago
Specifying Active Rules for Database Maintenance
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
Leopoldo E. Bertossi, Javier Pinto
FQAS
2004
Springer
104views Database» more  FQAS 2004»
14 years 3 months ago
Logic-Based Integration of Query Answering and Knowledge Discovery
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
Marcelo A. T. Aragão, Alvaro A. A. Fernande...
APSEC
1997
IEEE
14 years 1 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
DATE
2005
IEEE
165views Hardware» more  DATE 2005»
14 years 3 months ago
AutoMoDe - Model-Based Development of Automotive Software
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
AO
2008
81views more  AO 2008»
13 years 9 months ago
Institutionalising ontology-based semantic integration
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
W. Marco Schorlemmer, Yannis Kalfoglou