The 12th annual RoboCup International Symposium was held during July 15-18, 2008 in conjunction with RoboCup 2008 Competitions and Demonstrations. The symposium represents the core meeting for the ...presentation and discussion of sci- tific contributions in diverse areas related to the main threads within RoboCupSoccer, RoboCupRescue, RoboCup@Home and RoboCupJunior. Its scope encompassed, but was not restricted to, research and education activities within the fields of artificial intelligence and robotics. A fundamental aspect of RoboCup is promoting science and technology among young students and researchers, in addition to providing a forum for discussion and excitement about Robotics with practitioners from all over the world. Since its first edition in 1997 in Nagoya, the RoboCup Competitions and Symposium have attracted an increasing number of researchers and students from all the world and today it is a major event in robotics worldwide. Due to its interdisciplinary nature and the exploration of various and intimate c- nections of theory and practice across a wide spectrum of different fields, the sym- sium offered an excellent opportunity to introduce new techniques to various scientific disciplines. The experimental, interactive and benchmark character of the RoboCup initiative created the opportunity to present, learn and evaluate novel ideas and - proaches with significant potential. If promising, they are then rapidly adopted and field-tested by a large (and still strongly growing) community.
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008. The 44 revised full papers presented ...together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.
This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network ...models for many computer science logics.
This book constitutes the refereed proceedings of the Third International Atlantic Web Intelligence Conference, AWIC 2005, held in Lodz, Poland in June 2005.
The 74 revised papers presented together ...with abstracts of 4 invited papers were carefully reviewed and selected from 140 submissions. All current aspects Web intelligence are addressed including semantic Web issues, ambient intelligence, intelligent information services, Web search, distributed service management, clustering, visualization, data mining, description logics, ontologies, Web query processing, categorization, classification, Web services, e-learning, and knowledge discovery.
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held ...during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.
This book constitutes the refeered proceedings of the 19th International Conference on Information Processing in Medical Imaging, IPMI 2005, held in Glenwood Springs, Colorado, in July 2005.
The 63 ...revised full papers presented were carefully reviewed and selected from 245 submissions. The papers are organized in topical sections on shape and population modeling, diffusion tensor imaging and functional magnetic resonance, segmentation and filtering, small animal imaging, surfaces and segmentation, applications, image registration, registration and segmentation.
Biodegradable and biocompatible elastic materials for soft robotics, tissue engineering or stretchable electronics with good mechanical properties, tunability, modifiability or healing properties ...drive technological advance, and yet they are not durable under ambient conditions and do not combine all the attributes in a single platform. We have developed a versatile gelatin-based biogel, which is highly resilient with outstanding elastic characteristics, yet degrades fully when disposed. It self-adheres, is rapidly healable and derived entirely from natural and food-safe constituents. We merge all the favourable attributes in one material that is easy to reproduce and scalable, and has a low-cost production under ambient conditions. This biogel is a step towards durable, life-like soft robotic and electronic systems that are sustainable and closely mimic their natural antetypes.
Military robots and other, potentially autonomous robotic systems such as unmanned combat air vehicles (UCAVs) and unmanned ground vehicles (UGVs) could soon be introduced to the battlefield. Look ...further into the future and we may see autonomous micro- and nanorobots armed and deployed in swarms of thousands or even millions. This growing automation of warfare may come to represent a major discontinuity in the history of warfare: humans will first be removed from the battlefield and may one day even be largely excluded from the decision cycle in future high-tech and high-speed robotic warfare. Although the current technological issues will no doubt be overcome, the greatest obstacles to automated weapons on the battlefield are likely to be legal and ethical concerns. Armin Krishnan explores the technological, legal and ethical issues connected to combat robotics, examining both the opportunities and limitations of autonomous weapons. He also proposes solutions to the future regulation of military robotics through international law.
Armin Krishnan is at the University of Texas at El Paso, USA