Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
اقرأ المزيد
Throughput Optimization in Robotic Cells
Intense global competition in manufacturing has compelled manufacturers to incorporate repetitive processing and automation ...
اقرأ المزيد
Toward Artificial Sapience : Principles and Methods for Wise Systems
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
اقرأ المزيد
Towards Affordance-Based Robot Control : International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers
Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...
اقرأ المزيدTowards Synthesis of Micro-
At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...
اقرأ المزيد
Transdisciplinary Digital Art. Sound, Vision and the New Screen : Digital Art Weeks and Interactive Futures 2006/2007, Zurich, Switzerland and Victoria, BC, Canada. Selected Papers
This volume collects essays that broadly encompass the digital arts, Transdisciplinary Digital Art gives a clear overview ...
اقرأ المزيد
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices
This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
اقرأ المزيد
Trends in Intelligent Systems and Computer Engineering
This volume addresses the demand for theories and applications of intelligent systems and computer engineering to meet the ...
اقرأ المزيدTrends in Neural Computation
Trend in Neural Computation includes twenty chapters either contributed from leading experts or formed by extending well ...
اقرأ المزيدType Synthesis of Parallel Mechanisms
This unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...
اقرأ المزيد
Type-2 Fuzzy Logic: Theory and Applications
This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. ...
اقرأ المزيد
Ubiquitous Convergence Technology
Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...
اقرأ المزيد
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
اقرأ المزيد
Underactuated Robotic Hands
Grasping and manipulation skills are at the core of the development of modern robotic systems. With the introduction of robotics ...
اقرأ المزيد
Underwater Robots : Motion and Force Control of Vehicle-Manipulator Systems
This book deals with the main control aspects in underwater manipulation tasks. The mathematical model with significant impact ...
اقرأ المزيد
Unifying Perspectives in Computational and Robot Vision
The field of computer vision has developed significantly over the last several years and the application areas span a broad ...
اقرأ المزيد
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search
This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...
اقرأ المزيد
Vector Control of Three-Phase AC Machines : System Development in the Practice
This monograph covers the area of vector control of three-phase AC machines, in particular induction motors with squirrel-cage ...
اقرأ المزيد
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
The 1st International Conference on Virtual Storytelling took place on September 27-28, 2001, in Avignon (France) in the ...
اقرأ المزيدVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
اقرأ المزيد
