الصفحة 1
الصفحة 1
On the Uniqueness of Humankind
Europäische Akademie organized the conference "The Uniqueness of Humankind – Über die Sonderstellung des Menschen". The proceedings of the conference documented in this volume approached the theoretical and practical concept of the "Sonderstellung" against the background of present day knowledge in biosciences.
Neural Nets ; 16th Italian Workshop on Neural Nets, WIRN 2005, International workshop on natural and artificial immune systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed postproceedings of the 16th Italian Workshop on Neural Nets, WIRN 2005, as well as the satellite International Workshop on Natural and Artificial Immune Systems, NAIS 2005, held in Vietri sul Mare, Italy in June 2005. The 41 revised papers presented together with a lecture by the winner of the Premio Caianiello award were carefully reviewed and improved during two rounds of selection and refereeing.
Networked RFID Systems and Lightweight Cryptography : Raising Barriers to Product Counterfeiting
This book considers the methods used by illicit manufactures and traders to introduce counterfeit goods into the supply chain, the extent of their success, the various barriers that may be brought against their actions, and the effectiveness of those barriers. The new field of lightweight cryptography is described in the context of using RFID systems in the fight against counterfeit products, its cost effectiveness is examined and feasible approaches to its deployment are described. Research problems and likely avenues for solutions are also presented to guide a global effort in anti-counterfeiting.
Natural Language Processing and Information Systems ; Vol. 3513 ; 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
The development and convergence of computing, telecommunications and information systems has already led to a revolution in the way that we work, communicate with each other, buy goods and use services, and even in the way that we entertain and educate ourselves.The revolution continues, and one of its results is that large volumes of information will increasingly be held in a form which is more natural for users than the data presentation formats typical of computer systems of the past. Natural language processing (NLP) is crucial in solving these problems, and language technologies will make an indispensable contribution to the success of information systems. We hope that NLDB 2005 was a modest contribution to this goal. NLDB 2005 contributed to advancing the goals and the high international standing of these conferences, largely due to its Program Committee, composed of renowned researchers in the field of natural language processing and inf- mation system engineering. Papers were reviewed by three reviewers from the Program Committee. This clearly contributed to the significant number of - pers submitted (95). Twenty-nine were accepted as regular papers, while 18 were accepted as short papers.
Natural language processing and information systems ; 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings
NLP techniques may substantially enhance most phases of the information system lifecycle, starting with requirement analysis, specification and validation, and going up to conflict resolution, result processing and presentation.
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support.
Multimedia security : Algorithm development, analysis and applications (algorithms for intelligent systems)
Provides an insight about various techniques used in multimedia security and identifies its progress in both technological and algorithmic perspectives. In the contemporary world, digitization offers an effective mechanism to process, preserve and transfer all types of information. The incredible progresses in computing and communication technologies augmented by economic feasibility have revolutionized the world. The availability of efficient algorithms together with inexpensive digital recording and storage peripherals have created a multimedia era bringing conveniences to people in sharing the digital data that includes images, audio and video. The ever-increasing pace, at which the multimedia and communication technology is growing, has also made it possible to combine, replicate and distribute the content faster and easier, thereby empowering mankind by having a wealth of information at their disposal.
Multimedia Database Retrieval : A Human-Centered Approach
Multimedia Database Retrieval: A Human-Centered Approach presents the latest development in user-centered methods and the state-of-the-art in visual media retrieval. It includes discussion on perceptually inspired non-linear paradigm in user-controlled interactive retrieval (UCIR) systems. It also features a coherent approach which focuses on specific topics within content/concept-based retrievals via audio-visual information modeling of multimedia. Highlights include: * Exploring an adaptive machine that can learn from its environment * Optimizing the learning system by incorporating self-organizing adaptation into the retrieval process * Demonstrating state-of-the-art applications within small, medium, and large databases
Multiagent System Technologies ; 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, held in Kaiserslautern, Germany, in September 2008 - co-located with the 31st German Conference on Artificial Intelligence, KI 2008.The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 35 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields.
Modeling Communication with Robots and Virtual Humans ; Second ZiF Research Group International Workshop on Embodied Communication in Humans and Machines, Bielefeld, Germany, April 5-8, 2006, Revised Selected Papers
The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also provide an interdisciplinary perspective from linguistics, behavioral research, theoretical biology, philosophy, communication psychology, and computational neuroscience. The topics include studies on human multimodal communication; the modeling of feedback signals, facial expression, eye contact, and deception; the recognition and comprehension of hand gestures and head movements; communication interfaces for humanoid robots; the evolution of cognition and language; emotion and social appraisal in nonverbal communication; dialogue models and methodologies; theory of mind and intentionality; complex systems, dynamic field theory, and connectionist modeling.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 ; Vol. 4191; 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part II
T MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of Medical Image Analysis and IEEE Transactions on Medical Imaging papers cite previous MICCAIs including the ?rst MICCAI conference in Cambridge, Massachusetts, 1998. It is obvious that the community requires the MICCAI papers as archive material. Therefore the proceedingsofMICCAIarefrom2005andhenceforthbeing indexedbyMedline. Acarefulreviewandselectionprocesswasexecutedinordertosecurethebest possible program for the MICCAI 2006 conference. We received 578 scienti?c papers from which 39 papers were selected for the oral program and 193 papers for the poster program.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2006 ; Vol. 4190 ; 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I
MICCAI papers are of high standard and have a long lifetime. In this v- ume as well as in the latest journal issues of Medical Image Analysis and IEEE Transactions on Medical Imaging papers cite previous MICCAIs including the ?rst MICCAI conference in Cambridge, Massachusetts, 1998. It is obvious that the community requires the MICCAI papers as archive material. Therefore the proceedingsofMICCAIarefrom2005andhenceforthbeing indexedbyMedline. Acarefulreviewandselectionprocesswasexecutedinordertosecurethebest possible program for the MICCAI 2006 conference. We received 578 scienti?c papers from which 39 papers were selected for the oral program and 193 papers for the poster program.
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Invited Lectures from the 13th International Congress on Mathematical Education
The book presents the Invited Lectures given at 13th International Congress on Mathematical Education (ICME-13). The papers present the work of prominent mathematics educators from all over the globe and give insight into the current discussion in mathematics education. The Invited Lectures cover a wide spectrum of topics, themes and issues and aim to give direction to future research towards educational improvement in the teaching and learning of mathematics education. This book is of particular interest to researchers, teachers and curriculum developers in mathematics education.
Intelligent Computer Mathematics ; 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.
Intelligence and security informatics ; Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, Proceedings
Intelligence and security informatics (ISI) is concerned with the study of the development and use of advanced information technologies and systems for national, international, and societal security-related applications.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Information theory and machine learning
The recent successes of machine learning, especially regarding systems based on deep neural networks, have encouraged further research activities and raised a new set of challenges in understanding and designing complex machine learning algorithms. New applications require learning algorithms to be distributed, have transferable learning results, use computation resources efficiently, convergence quickly on online settings, have performance guarantees, satisfy fairness or privacy constraints, incorporate domain knowledge on model structures, etc. A new wave of developments in statistical learning theory and information theory has set out to address these challenges.
Information Security ; 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007, Proceedings
The 10th Information Security Conference (ISC 2007) was held in Valpara´ ?so, Chile, October 9–12, 2007. ISC is an annual international conference covering research in theory and applications of information security, aiming to attract high quality papers in all of its technical aspects.
