This paper presents a novel discriminative learning method, called manifold discriminant
analysis (MDA), to solve the problem of image set classification. By modeling each image …

In any serious engineering discipline, it would be unthinkable to construct a large system
without having a precise notion of what is to be built and without verifying how the system is …

An oceanic general circulation model, previously used to simulate the conditions associated
with the Holocene Sapropel S1, is used to simulate the effects of a climate deterioration …

Refinement is reviewed, highlighting in particular the distinction between its use as a
specification constructor at a high level, and its use as an implementation mechanism at a …

Retrenchment is a flexible model evolution formalism that arose as a reaction to the
limitations imposed by refinement, and for which the proof obligations feature additional …

Abstract The Mondex Electronic Purse system [18] is an outstanding example of formal
refinement techniques applied to a genuine industrial scale application, and notably, was …

The Mondex electronic purse is an outstanding example of industrial scale formal
refinement, and was the first verification to achieve ITSEC level E6 certification. A formal …

Refinement is one of the cornerstones in formal methods for the incremental development of
specifications and the implementation of specifications to code. It is a correctness pre …

We review retrenchment as a liberalisation of refinement, for the description of applications
too rich (eg using continuous and infinite types) for refinement. A specialisation of the notion …

The Mondex Electronic Purse is an outstanding example of industrial scale formal
refinement, and was the first verification to achieve ITSEC level E6 certification. A formal …