This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints...

Traditional methods for creating intelligent computational systems have privileged private "internal" cognitive and computational processes. In contrast, Swarm Intelligence argues that human intelligence derives from the interactions of individuals in a social world and further, that this model of...

...

As the interconnectivity between humans through technical devices is becoming ubiquitous, the next step is already in the making: ambient intelligence, i.e. smart (technical) environments, which will eventually play the same active role in communication as the human players, leading to a co-evolution in all domains where real-time...

The book addresses the problem known in the literature as Open and Distance Learning (ODL). ODL describes new concepts of the process of learning-teaching organization. ODL is becoming very popular at universities that offer education via online and/or distance learning, both in synchronous or asynchronous modes. More precisely, the...

The development of the Internet and World Wide Web technology has motivated the introduction of new ways for distance learning and education. This book provides a timely and cohesive set of contributions that present methodologies, technologies and practical tools for teaching control and robotic systems analysis and design over the Web. It...

MR technologies play an increasing role in different aspects of human-robot interactions. The visual combination of digital contents with real working spaces creates a simulated environment that is set out to enhance these aspects. This book presents and discusses fundamental scientific issues, technical implementations, lab testing, and...