Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Lire la suiteRough terrain robotics is a fast evolving field of research and a lot of effort is deployed towards enabling a greater level ...
Lire la suiteA Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lire la suiteA Treatise of Legal Philosophy and General Jurisprudence is the first-ever multivolume treatment of the issues in legal philosophy ...
Lire la suiteArtificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Lire la suiteAcross its entire breadth and depth, the banking industry is at the forefront of investigating Advanced Analytics and AI ...
Lire la suiteThis book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
Lire la suiteThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suiteProbabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suiteThis volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
Lire la suiteThe proceedings of the sixth Annual International Working Conference on Active Networks, which took place in October 2004 ...
Lire la suiteThe 5th International Conference on Adhoc, Mobile and Wireless Networks (Adhoc-Now 2006) was held during August 17–19, ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...
Lire la suiteThis book employs the powerful and popular adaptive backstepping control technology to design controllers for dynamic uncertain ...
Lire la suiteThis book presents new adaptive solution methods for multiobjective optimization problems based on parameter dependent scalarizations. ...
Lire la suiteThis book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Advanced Concepts for Intelligent Vision ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference on Advanced Data Mining and Applications, ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Advanced Data Mining and Applications, ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ...
Lire la suite