1276 search results - page 11 / 256 » Views, change and changing views |
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
We show that Booth et al.'s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour thro...
WCRE
2006
IEEE
15 years 3 months ago
2006
IEEE
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
WCRE
2007
IEEE
15 years 3 months ago
2007
IEEE
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
107
click to vote
ADBIS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we visit the problem of the management of inconsistencies emerging on ETL processes as results of evolution operations g at their sources. We abstract Extract-Transf...
103
click to vote
AMAST
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...