Even at the beginning of the 21st century, we are far from becoming paperless. Pen and paper is still the only truly ubiquitous information processing technology. Pen-and-paper user interfaces bridge the gap between paper and the digital world. Rather than replacing paper with electronic media, they seamlessly integrate both worlds in a...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional...

At a time when people use more and more geographic information and tools, the management of geographical information in software systems still holds many challenges and motivates researchers from different backgrounds to propose innovative solutions.
Representing geographical space beyond our mere perception is key to making relevant...

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs)...

The wireless industry is in the midst of a fundamental shift from providing voice-only services to offering customers an array of multimedia services, including a wide variety of audio, video and data communications capabilities. Future wireless networks will be integrated into every aspect of daily life, and therefore could affect our life...

This publication is the first book on the development and application of digital terrain modelling for regional planning and policy support. It is a compilation of research results by international research groups at the European Commission's Joint Research Centre, providing scientific support to the development and implementation of EU...

This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space,...

This monograph focuses on how to achieve more robot autonomy by means of reliable processing skills. "Nonlinear Kalman Filtering for Force-Controlled Robot Tasks " discusses the latest developments in the areas of contact modeling, nonlinear parameter estimation and task plan optimization for improved estimation accuracy. Kalman...