This comprehensive reference introduces the intricate science of implementing image modelling and retrieval based on the shape, on the colour and texture, or on spatial arrangement of imaged objects.

With the recent advances in multimedia technology, on-line libraries of digital images are assuming an ever increasing relevance within a wide range of information systems. Effective access to such archives requires on external textual keywords that conventional searching techniques based are complemented by content-based queries addressing appearing visual features of searched data. Central to this retrieval approach is the creation of models, which permit to abstract images into some space of features and support indexing and comparison of visual contents. Depending on the specific...

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017. The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. applications of quantitative modeling;