Wyniki wyszukiwania:

This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.

Containing 31 papers collected in five chapters, this book deals with different fields of application and the problems of modelling and organising data in structures, as well as the processing techniques of GIS data for queries to the system and the so-called Dynamic GIS. The authors cover data acquisition with low cost DGPS for road surveys, vehicle navigation systems, and robust statistical techniques applied to pre-processing, analysis and testing. They report on the testing and calibration of different scanners for GIS data acquisition as well as some original approaches to the automatic...