Business Process Management

FME 2001: Formal Methods for Increasing Software Productivity FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems..

.The book offers topical sections on hybrid and combined methods, document image analysis, grammar and language methods, structural matching, graph-based methods, shape analysis, clustering and density estimation, object recognition, general methodology, and feature extraction and selection. The 52 revised full papers presented together with five invited papers and 35 posters were carefully reviewed and selected from a total of 130 submissions.

Looking back over these 14 years, key aspects of the conference, such as its structure, organization, the quantity and quality of submissions, the publication policy, and the number of attendants, have significantly changed. The proceedings of IBERAMIA’88 contain 22 full papers grouped into six areas: knowledge representation and reasoning, learning, AI tools, expert systems, language, and vision.

There is currently no description available.

There is currently no description available.