obot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...
Continue readingThis book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark ...
Continue readingRobotic welding systems have been used in different types of manufacturing. They can provide several benefits in welding ...
Continue readingRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue readingThis book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Continue readingThis book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
Continue readingThis volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Continue readingThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Continue readingConstitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Continue readingThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Continue readingThe Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Continue readingScalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Continue readingThis book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...
Continue readingMotivated by the promise of control and efficiency benefits, the widespread adoption of data analytics tools has created ...
Continue readingSemantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...
Continue readingService chain management enables service organisations to improve customer satisfaction and reduce operational costs through ...
Continue readingThis book studies regularity properties of Mumford-Shah minimizers. The Mumford-Shah functional was introduced in the 1980s ...
Continue readingExplains the concept of data centers, including data collection, public parking systems, smart metering, and sanitizer dispensers. ...
Continue readingDiscusses various artificial intelligence and machine learning applications concerning smart buildings. It includes how renewable ...
Continue reading