الصفحة 1
الصفحة 1
Ontology Management : Semantic Web, Semantic Web Services, and Business Applications
This volume describes relevant tasks, practical and theoretical challenges, limitations and methodologies, plus available software tools. The editors discuss integrating the conceptual and technical dimensions with a business view on using ontologies, by stressing the cost dimension of ontology engineering and by providing guidance on how up-to-date tooling helps to build, maintain, and use ontologies. Also included is a one-stop reference on all aspects of managing ontological data and best practices on ontology management for a number of application domains.
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.
On the move to meaningful internet systems 2007 : OTM 2007 Workshops ; OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007,
it is clear that there is an acute and increasing need to address and discuss in an integrated forum the implied software and system issues as well as methodological, semantical, theoretical and application issues. As we all know, e-mail, the Internet, and even video conferences are not sufficient for effective and efficient scientific exchange. This is why the OnTheMove (OTM) Federated Conferences series has been created to cover the increasingly wide yet closely connected range of fundamental technologies such as data and Web Semantics.
Object-oriented metrics in practice : Using software metrics to characterize, Evaluate, and Improve the design of object-oriented systems
The combination of theoretically sound results and practically tested procedures and solution paths makes this book an ideal companion for professional software architects, developers and quality engineers. The pattern-oriented description of disharmonies offers easy access to detecting shortcomings and applying solution strategies. "This well-written book is an important piece of work that takes the seemingly forgotten art of object-oriented metrics to the next level in terms of relevance and usefulness."
New Computational Paradigms ; 1st Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.
Networks : From Biology to Theory
The concept of a network emerges as a powerful and stimulating research paradigm in mathematics, physics and computer science, and demonstrates a very lively interaction between experimental findings, simulation studies, and theoretical investigations that then in turn lead to new experimental questions. This volume explores this concept in full and features contributions from a truly global set of contributors.
Network Control and Optimization ; 1st EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings
This volume 4465 of the Lecture Notes in Computer Science series is a coll- tion of the papers of the NET-COOP 2007. This conference aims at developing research on control and op- mization of the Internet, ranging from performance evaluation and optimization of general stochastic networks to more speci?c targets such as lower-layer fu- tionalities in mobile networks, routing for computational grids, game theoretic approaches to access control, cooperation, competition and adversary capacities in diverse environments.
Network control and engineering for QoS, security and mobility, V ; IFIP 19th World Computer Congress,TC-6, 5th IFIP International conference on network control and engineering for QoS, security, and mobility, August 20-25, 2006, Santiago, Chile
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Multivariate Public Key Cryptosystems
Multivariate public key cryptosystems (MPKC) is a fast-developing new area in cryptography. In the past 10 years, MPKC schemes have increasingly been seen as a possible alternative to number theoretic-based cryptosystems such as RSA, as they are generally more efficient in terms of computational effort. As quantum computers are developed, MPKC will become a necessary alternative. Multivariate Public Key Cryptosystems systematically presents the subject matter for a broad audience. Information security experts in industry can use the book as a guide for understanding what is needed to implement these cryptosystems for practical applications, and researchers in both computer science and mathematics will find this book a good starting point for exploring this new field. It is also suitable as a textbook for advanced-level students.
Multiple Classifier Systems ; 2nd International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings
Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed considerable advances in p- tern recognition. Better understanding of the design issues and new paradigms, such as the Support Vector Machine, have contributed to the development of - proved methods of pattern classi cation. However, while any performance gains are welcome, and often extremely signi cant from the practical point of view, it is increasingly more challenging to reach the point of perfection as de ned by the theoretical optimality of decision making in a given decision framework. The asymptoticity of gains that can be made for a single classi er is a re?- tion of the fact that any particular design, regardless of how good it is, simply provides just one estimate of the optimal decision rule.
Multiobjective Evolutionary Algorithms and Applications
Multiobjective Evolutionary Algorithms and Applications provides comprehensive treatment on the design of multiobjective evolutionary algorithms and their applications in domains covering areas such as control and scheduling. Emphasizing both the theoretical developments and the practical implementation of multiobjective evolutionary algorithms, a profound mathematical knowledge is not required. Written for a wide readership, engineers, researchers, senior undergraduates and graduate students interested in the field of evolutionary algorithms and multiobjective optimization with some basic knowledge of evolutionary computation will find this book a useful addition to their book case.
Multimodal Processing and Interaction : Audio, Video, Text
Multimodal Processing and Interaction: Audio, Video and Text presents high quality, state-of-the-art research ideas and results from theoretic, algorithmic and application viewpoints. This edited volume contains both state-of-the-art reviews and original contributions by leading experts in the scientific and technological field of multimedia. It grew out of a four-year collaboration among research groups participating in the European network of Excellence on Multimedia Understanding, Semantics, Computation and Learning (MUSCLE).
Multi-Agent Systems and Applications IV ; 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings
In the very competitive field of agent oriented conferences and workshops nowadays (such as AAMAS, WI/IAT, EUMAS, CIA, MATES) the special profile of CEEMAS is that it is trying to bridge the gap between applied research achievements and theoretical research activities. Our ambition is to provide a forum for presenting theoretical research with an evident application potential, implemented application prototypes and their properties, as well as industrial case studies of successful (but also unsuccessful) agent technology deployments. This is why the CEEMAS proceedings volume provides a collection of research and application papers. The technical research paper section of the proceedings (see pages 11–499) contains pure research papers as well as research results in application settings while the application papers section (see pages 500–530) contains papers focused on application aspects. The goal is to demonstrate the real life value and commercial reality of multi-agent systems as well as to foster communication between academia and industry in this field.
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.
Modeling and using context ; 6th International and interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling and Using Context. We believe that the papers of this volume represent a snapshot of current work and contribute to both theoretical and applied aspects of research.
Model-driven architecture in practice ; A Software Production Environment Based on Conceptual Modeling
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. The book combines a sound theoretical approach based on more than 10 years' research.
Model-Driven Architecture - Foundations and Applications ; 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring together industry and academia to tackle the problems in model-driven development. This volume includes 18 foundation papers and 12 application papers, which is a fine balance between both worlds. ECMDA-FA 2006 also hosted six workshops on both theoretical and practical aspects of MDA. Furthermore, the keynote speakers, David Frankel and Bran Selic, from some of the world’s largest IT companies proved that industry is very much involved in MDA. This second ECMDA-FA conference is the result of the work of the authors who submitted a total of 78 papers, the Program Committee members who took the effort to review the papers, the people organizing the workshops, and of course the Steering Committee. All in all, several hundreds of people have worked hard to make this conference a success.
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Microprocessor 5 : Software and hardware aspects of development, debugging and testing - the microcomputer
Focuses more particularly on the first two generations of microprocessors, those that handle 4- and 8- bit integers. Microprocessor 5 – the fifth and final volume of this series of books – first presents the hardware and software aspects of the development chain of a microprocessor-based digital system. Finally, to round up the series and offer a historical perspective, the architectures of the first microcomputers are detailed. A comprehensive approach is used, with examples drawn from current and past technologies that illustrate theoretical concepts, making them accessible.
