This book constitutes the thoroughly refereed proceedings of the Third International Conference on Geographical Information Theory, Application and Management, GISTAM 2017, held in Porto, Portugal, in April 2017.The 11 full papers presented were carefully reviewed and selected from 70 submissions. The papers are centered around photogrammetry, spatio-temporal data acquisition, spectroscopy and spectroradiometry, hyperspectral imaging, Earth observation and satellite data, computati...

This book constitutes extended, revised and selected contributions from the Second International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2016, held in Rome, Italy, in April 2016.The 10 papers presented in this volume were carefully reviewed and selected from a total of 33 submissions. They contribute to the understanding of relevant trends of current research on the topic, including urban and regional planning; water information sy...

What does a professor Brazilian or otherwise think and do on the first day of class, standing before a group of “foreign” students to talk about Brazilian literature? This apparently simple question that gave rise to the essays gathered in this book opens a series of other questions: Who is this professor? How did he or she go about planning that first class? What challenges do professors face when teaching the literature of a country different from that of their students, and in a lan...

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.Growing out of more than a decade of award-winning collaborative work within the European Research Co...

These proceedings are aimed at researchers, industry / market operators and students from different backgrounds (scientific, engineering and humanistic) whose work is either focused on or affined to Location Based Services (LBS). It contributes to the following areas: positioning / indoor positioning, smart environments and spatial intelligence, spatiotemporal data acquisition, processing, and analysis, data mining and knowledge discovery, personalization and context-aware adaptation, LBS ...

This book constitutes the workshop proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The volume contains papers from 4 workshops, each focusing on hot topics related to database systems and applications: the Second International Workshop on Big Data Management and Analytics, BDMA 2014; the Third International Workshop on Data Management for Emerging Network Infrastructure, DaMEN 2014; the Thi...

This two volume set LNCS 9261 and LNCS 9262 constitutes the refereed proceedings of the 26th International Conference on Database and Expert Systems Applications, DEXA 2015, held in Valencia, Spain, September 1-4, 2015.The 40 revised full papers presented together with 32 short papers, and 2 keynote talks, were carefully reviewed and selected from 125 submissions. The papers discuss a range of topics including: temporal, spatial and high dimensional databases; semantic Web and onto...

This book constitutes the refereed conference proceedings of the 15th International Symposium, W2GIS 2017, held in Shanghai, China, in May 2017.The 11 revised full papers presented were carefully selected from 28 submissions. The papers cover hot topics related to W2GIS including Web technologies and technics; paths and navigation; and Web visualization.

This book constitutes the refereed proceedings of the 11th International Joint Conference on E-Business and Telecommunications, ICETE 2014, held in Vienna, Austria, in August 2014. ICETE is a joint international conference integrating four major areas of knowledge that are divided into six corresponding conferences: International Conference on Data Communication Networking, DCNET; International Conference on E-Business, ICE-B; International Conference on Optical Communication Systems, OPTI...

The Workshop Proceedings reflect problems of advanced geo-information science with a special emphasis on environmental and urban challenges. The Proceedings incorporate papers presented by leading scientists doing research on environmental issues from modeling to analysis, information processing and visualization. As well as practitioners engaged in GIS and GIS applications development. The Proceedings pay close attention to the problems of scientific and technological innovations as well ...

Recent years have seen remarkable progress on both advanced multimedia data processing and intelligent network information systems. The objective of this book is to contribute to the development of multimedia processing and the intelligent information systems and to provide the researches with the essentials of current knowledge, experience and know-how. Although many aspects of such systems have already been under investigation, but there are many new that wait to be discovered and define...

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015.The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement enginee...