307 search results - page 31 / 62 » Causality and the Semantics of Provenance |
90
Voted
TPLP
2002
14 years 9 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
RTAS
2007
IEEE
15 years 4 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
AIPS
2009
14 years 11 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
174
Voted
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern information systems often store data that has been transformed and integrated from a variety of sources. This integration may obscure the original source semantics of data ...
135
Voted
JBCS
2010
14 years 5 months ago
2010
Schema matching is a fundamental issue to many database applications, such as query mediation and data warehousing. It becomes a challenge when different vocabularies are used to r...