5220 search results - page 63 / 1044 » Changing Persistent Applications |
200
click to vote
IFM
2010
Springer
15 years 12 days ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
108
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
129
Voted
SWAP
2008
15 years 3 months ago
2008
Ontology evolution is a complex problem. In our work, we focus on issues related to change management, particularly consistency maintenance and we present in this paper, an overvie...
114
click to vote
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
We combine Bayesian online change point detection with Gaussian processes to create a nonparametric time series model which can handle change points. The model can be used to loca...
113
click to vote
IJCAI
2001
15 years 3 months ago
2001
The Principle of Minimal Change is prevalent in various guises throughout the development of areas such as reasoning about action, belief change and nonmonotonic reasoning. Recent...