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. ...
Continue reading
Throughput Optimization in Robotic Cells
Intense global competition in manufacturing has compelled manufacturers to incorporate repetitive processing and automation ...
Continue reading
Toward Artificial Sapience : Principles and Methods for Wise Systems
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
Continue reading
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 ...
Continue readingTowards Synthesis of Micro-
At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue readingTrends in Neural Computation
Trend in Neural Computation includes twenty chapters either contributed from leading experts or formed by extending well ...
Continue readingType Synthesis of Parallel Mechanisms
This unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...
Continue reading
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. ...
Continue reading
Ubiquitous Convergence Technology
Ubiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...
Continue reading
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Continue reading
Underactuated Robotic Hands
Grasping and manipulation skills are at the core of the development of modern robotic systems. With the introduction of robotics ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue readingVirtual, Distributed and Flexible Organisations
Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. ...
Continue reading
