Search
Now showing items 1-10 of 48
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
(Springer-Verlag Berlin Heidelberg, 2004)
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR ...
Robust range image registration: using genetic algorithms and the surface interpenetration measure
(World Scientific Publishing Company, 2004)
This book addresses the range image registration problem for automatic 3D model construction. The focus is on obtaining highly precise alignments between different view pairs of the same object to avoid 3D model distortions, ...
Advances in Artificial Intelligence: 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings
(Springer-Verlag Berlin Heidelberg, 2007)
This book constitutes the refereed proceedings of the 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, held in Montreal, Canada, in May 2007. The 46 revised full papers ...
Advances in Brain, Vision, and Artificial Intelligence: Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings
(Springer-Verlag Berlin Heidelberg, 2007)
This book constitutes the refereed proceedings of the Second International Symposium on Brain, Vision and Artificial Intelligence, BVAI 2007, held in Naples, Italy, October 2007. The 50 revised papers presented were carefully ...
Data Mining In Time Series Databases
(World Scientific, 2004)
Adding the time dimension to real-world databases produces Time Series Databases (TSDB) and introduces new aspects and difficulties to data mining and knowledge discovery. This book covers the state-of-the-art methodology ...
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
(Springer-Verlag Berlin Heidelberg, 2007)
This is a subject that is as hot as a snake in a wagon rut, offering as it does huge potentiality in the field of computer programming. That’s why this book, which constitutes the refereed proceedings of the 7th International ...
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
(Springer-Verlag Berlin Heidelberg, 2007)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in ...
Advances in Artificial Intelligence: 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings
(Springer-Verlag Berlin Heidelberg, 2008)
This book constitutes the refereed proceedings of the 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, held in Windsor, Canada, in May 2008. The 30 revised full papers ...
Syntactic pattern recognition for seismic oil exploration
(World Scientific, 2002)
Syntactic seismic pattern recognition can be one of the milestones of a geophysical intelligent interpretation system. The syntactic methods in this book can be applied to other areas, such as the medical diagnosis system.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services: NODe 2002 Agent-Related Workshops Erfurt, Germany, October 7–10, 2002 Revised Papers
(Springer-Verlag Berlin Heidelberg, 2003)
This book constitutes the thoroughly refereed post-proceedings of the three agent-related workshops held during the NetObjectDays international conference, NODe 2002, held in Erfurt, Germany, in October 2002. The 23 revised ...