'Changing the Theory of Theory Change: Towards a Computational Approach' (Tennant [1994]; henceforth CTTQ claimed that the AGM postulate of recovery is false, and that AGM contractions of theories can be more than minimally mutilating. It also described an alternative, computational method for contracting theories, called the Staining Algorithm. Makinson [1995] and Hansson and Rott [1995] criti...

There are certain theoretical issues in conceptual change research that are still puzzling researchers. First, there is no agreement on what kinds of changes in belief and concept systems constitute conceptual change. Second, there is no consensus on what the mechanisms of conceptual change are. Third, there is no common understanding how to explain, model and describe in an exact way these und...

Structure is important in large speci cations for understanding, testing and managing change. Category theory has been explored as framework for providing this structure, and has been successfully used to compose speci cations. This work has typically adopted a \correct by construction" approach: components are speci ed, proved correct and then composed together in such a way to preserve their ...

People often fail to notice large changes to visual scenes, a phenomenon now known as change blindness. The extent of change blindness in visual perception suggests limits on our capacity to encode, retain, and compare visual information from one glance to the next; our awareness of our visual surroundings is far more sparse than most people intuitively believe. These failures of awareness and ...

Since Kiparsky (1968) it has been standard practice in generative phonology to account for sound change by means of rule addition, rule simplification, rule reordering and rule loss. Given that the phonological rule as such no longer exists in recently proposed constraint-based theories of phonology, such as Optimality Theory (cf. Prince and Smolensky (1993), McCarthy and Prince (1993a and b), ...

In this paper, an approach to reducing the effects of registration noise in unsupervised change detection is proposed. The approach is formulated in the framework of the change vector analysis (CVA) technique. It is composed of two main phases. The first phase aims at estimating in an adaptive way (given the specific pair of images considered) the registration-noise distribution in the magnitud...

It is known that string theory compactifications leading to low energy effective theories with different chiral matter content (e.g. different numbers of standard model generations) are connected through phase transitions, described by non-trivial quantum fixed point theories. We point out that such compactifications are also connected on a purely classical level, through transitions that can b...

The purpose of this note is to state some definitions that may be useful in the study of knots, manifolds and the like. They apply to anything for which the concept of a regional change can be defined, such as a product of elements in a group. The motivation comes from the Vassiliev theory for invariants of knots in R, the general nature of the axioms for a topological quantum field theory, and...