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