The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lire la suiteRobot Motion and Control presents very recent results in robot motion and control. Twenty papers have been chosen and expanded ...
Lire la suite"Robot Motion Control 2007" presents very recent results in robot motion and control. Forty-one short papers have been ...
Lire la suiteThis book describes the development of a robot mapping and navigation system inspired by models of the neural mechanisms ...
Lire la suiteobot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...
Lire la suiteThis book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark ...
Lire la suiteRobotic welding systems have been used in different types of manufacturing. They can provide several benefits in welding ...
Lire la suiteRuntime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lire la suiteThis book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lire la suiteThis book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...
Lire la suiteThis volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
Lire la suiteThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suiteConstitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lire la suiteThis book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lire la suiteThe Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Lire la suiteScalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Secure Mobile Ad-hoc ...
Lire la suiteSemantic Web Services, Processes and Applications brings contributions from researchers who study, explore and understand ...
Lire la suiteService chain management enables service organisations to improve customer satisfaction and reduce operational costs through ...
Lire la suiteExplains the concept of data centers, including data collection, public parking systems, smart metering, and sanitizer dispensers. ...
Lire la suite