A Singular Introduction to Commutative Algebra
This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...
Lire la suite
A Theory of Shape Identification
Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...
Lire la suite
AI 2005: Advances in Artificial Intelligence
The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...
Lire la suite
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Lire la suite
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lire la suite
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suite
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suite
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Lire la suite
Acoustic MIMO Signal Processing
Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...
Lire la suite
Active Mining
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Lire la suite
Active Sensor Planning for Multiview Vision Tasks
The book describes some effective strategies to generate a sequence of viewing poses and sensor settings for optimally completing ...
Lire la suite
Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)
This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...
Lire la suite
Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...
Lire la suite
Adaptive Learning of Polynomial Networks
This book provides theoretical and practical knowledge for develop ment of algorithms that infer linear and nonlinear models. ...
Lire la suite
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lire la suite
Adaptive and Multilevel Metaheuristics
This volume presents recent advances in the area of adaptativeness in metaheuristic optimization, including up-to-date reviews ...
Lire la suite
Adaptive and Natural Computing Algorithms
The two volume set LNCS 4431 and LNCS 4432 constitutes the refereed proceedings of the 8th International Conference on Adaptive ...
Lire la suite
Adaptive and Natural Computing Algorithms
The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding ...
Lire la suite
Adaptive and Natural Computing Algorithms
The ICANNGA series of Conferences has been organised since 1993 and has a long history of promoting the principles and understanding ...
Lire la suite
Adaptive and Personalized Semantic Web
Web Personalization can be defined as any set of actions that can tailor the Web experience to a particular user or set of ...
Lire la suite
