Refine Results
Sort By
From
To
Page 59
Page 59
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Agent Technology and e-Health
Multi-agent systems are one of the most exciting research areas in Artificial Intelligence. This book reports on the results achieved in this area, discusses the benefits (and drawbacks) that agent-based systems may bring to medical domains and society.
Agent Intelligence Through Data Mining
AGENT INTELLIGENCE THROUGH DATA MINING offers a self-contained overview of a relatively young but important area of research: the intersection of agent technology and data mining. This intersection leads to considerable advancements in the area of information technologies, drawing the increasing attention of both research and industrial communities. It can take two forms: a) the more mundane use of intelligent agents for improved data mining and; b) the use of data mining for smarter, more efficient agents. The second approach is the main focus of this volume. this book presents a methodology for developing multi-agent systems, describes available open-source tools to support this process, and demonstrates the application of the methodology on three different cases. AGENT INTELLIGENCE THROUGH DATA MINING is designed for a professional audience composed of researchers and practitioners in industry.
Affect and Emotion in Human-Computer Interaction : From Theory to Applications
The present book provides an account of the latest work on a variety of aspects related to affect and emotion in human-technology interaction. It covers theoretical issues, user experience and design aspects as well as sensing issues, and reports on a number of affective applications that have been developed in recent years.
Advancing Computational Intelligence Techniques for Security Systems Design
Security systems have become an integral part of the building and large complex setups, and intervention of the computational intelligence (CI) paradigm plays an important role in security system architecture. This book covers both theoretical contributions and practical applications in security system design by applying the Internet of Things (IoT) and CI. It further explains the application of IoT in the design of modern security systems and how IoT blended with computational intel- ligence can make any security system improved and realizable. Focuses on the computational intelligence techniques of security system design / Covers applications and algorithms of discussed computational intelligence techniques / Includes convergence-based and enterprise integrated security systems with their applications / Explains emerging laws, policies, and tools affecting the landscape of cyber security / Discusses application of sensors toward the design of security systems
Advances in web mining and web usage analysis ; 6th International workshop on knowledge discovery on the web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
The Webisaliveenvironmentthatmanagesanddrivesawidespectrumofapp- cations in which a user may interact with a company, a governmental authority, a non-governmental organization or other non-pro?t institution or other users. User preferences and expectations, together with usage patterns, form the basis for personalized, user-friendly and business-optimal services. Key Web business metrics enabled by proper data capture and processing are essential to run an e?ective business or service. Enabling technologies include data mining, sc- able warehousing and preprocessing, sequence discovery, real time processing, document classi?cation, user modeling and quality evaluation models for them. Recipient technologies required for user pro?ling and usage patterns include recommendation systems, Web analytics applications, and application servers, coupled with content management systems and fraud detectors.
Advances in UAV detection, classification and tracking
Explores the latest techniques and advancements in unmanned aerial vehicle (UAV) detection, classification, and tracking. As UAV technology continues to evolve and become more accessible, there is a growing need for effective methods to detect, identify, and track these devices in various scenarios. This reprint provides a thorough overview of the state-of-the-art approaches for UAV detection, classification, and tracking, covering both theoretical and practical aspects.The reprint begins by introducing the basics of UAVs and their various applications, followed by a detailed overview of the challenges associated with UAV detection, classification, and tracking. The authors then present the latest techniques and algorithms used in the field, including machine-learning-based approaches, computer vision techniques, and sensor fusion techniques. The reprint also covers the challenges of real-world applications, such as dealing with occlusions, sensor noise, and environmental factors.
Advances in radar systems for target detection and tracking
Radar systems can provide the all-weather and all-time detection and tracking of targets of interest, and they have been extensively applied by the remote sensing community, in applications such as geological exploration, disaster forecasting, traffic monitoring, urban planning, environmental sciences, hydrology, littoral zones, oceans, etc. This reprint contains the several advance research studies on radar systems for target detection and tracking. It includes multipath ghost suppression, maneuvering target tracking, target detection, and other topics.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in Production Technology
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on “Integrative Production Technology for High-Wage Countries”, held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, Virtual Production Systems, Integrated Technologies, Self-Optimising Production Systems and Human Factors in Production Technology. The Aachen perspective on a holistic theory of production is complemented by conference papers from external leading researchers in the fields of production, materials science and bordering disciplines.
Advances in pervasive computing and networking
"Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by the wireless and mobile networking everywhere and all the time makes such environments within the reach of current technology. Yet, to realize the full potential of such environments, many technical and economical challenges needs to be overcome. These challenges and the perspective on the seminal directions of the research in this area were the subject of the Workshop for Pervasive Computing and Networking at Rensselaer Polytechnic Institute, Troy, NY, USA.
Advances in optical fiber communications
Given the increasing importance of a globally interconnected world, driven by modern digital services and the need for fast and reliable access to digital resources, communication networks are one of the key infrastructures in today’s society. In this scenario, fiber optics and optical devices play a leading role, as they allow for unprecedented growth in our capacity to cope with the ever-increasing traffic demand. Optical transmission solutions range from high-speed networks based on coherent detection and advanced modulation formats for long-haul-level communications, to networks still relying on traditional intensity modulation and direct detection receivers for short-reach communications, down to intra-data center scenarios.
Advances in Metaheuristics for Hard Optimization
The book gathers contributions related to the following topics: theoretical developments in metaheuristics; adaptation of discrete metaheuristics to continuous optimization; performance comparisons of metaheuristics; cooperative methods combining different approaches; parallel and distributed metaheuristics for multiobjective optimization; software implementations; and real-world applications.
Advances in Information Processing and Protection
This book contains a selection of the best papers given at the international Advanced Computer Systems Conference in October 2006 in Miedzyzdroje, Poland. Combining research areas from both Computer Science and Industrial Management.
Advances in image enhancement
In the era of the internet of things, images have played important roles in human–computer interactions, and with the arrival of big data technology, people have higher requirements regarding image quality, especially for images collected in dark light. This can be addressed through the development of camera hardware quality, i.e., the resolution and exposure time of cameras, which may require high computational costs. As an alternative, image enhancement techniques can exact salient features to improve the quality of captured images according to the differences in diverse features, although they suffer from some challenges, i.e., a low contrast, artifacts, and overexposure, thus making it decidedly necessary to determine how to use advanced image enhancement techniques.
Advances in fuzzy logic systems
Fuzzy logic systems have been a hot topic in the scientific and academic community for more than half a century. The idea of making machines behave and make decisions like humans do is astounding. The development and implementation of fuzzy logic systems can be seen in various real physical applications in daily human life. The methods employed using fuzzy logic have resulted in innovative technologies. This book provides insights into understanding the principles and concepts behind the advances of fuzzy logic systems. It presents ideas concerning fuzzy logic systems and their technological applications. The book is arranged into two sections on theories and foundations of fuzzy logic systems and implementations of fuzzy logic systems in service to the community.
Advances in Discrete Differential Geometry
On a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discrete models in differential geometry and dynamical systems. Their curves are polygonal, surfaces are made from triangles and quadrilaterals, and time is discrete. Nevertheless, the difference between the corresponding smooth curves, surfaces and classical dynamical systems with continuous time can hardly be seen. This is the paradigm of structure-preserving discretizations. Current advances in this field are stimulated to a large extent by its relevance for computer graphics and mathematical physics.
Advances in Digital Forensics IV
Advances in Digital Forensics IV describes original research results and innovative applications in the emerging discipline of digital forensics. In addition, it highlights some of the major technical and legal issues related to digital evidence and electronic crime investigations.
Advances in Digital Forensics II
This book is the second volume in the anual series produced by the International Federation for Information Processing (IFIP) Working Group 11.9 on Digital Forensics, an international community of scientists, engineers and practitioners dedicated to advancing the state of the art of research and practice in digital forensics. The book contains a selection of twenty-five edited papers from the First Annual IFIP WG 11.9 Conference on Digital Forensics, held at the National Center for Forensic Science, Orlando, Florida, USA in the spring of 2006.
Advances in Data Mining : Applications in E-Commerce, Medicine, and Knowledge Management
Presents papers describing selected projects on the topic of data mining in fields like e commerce, medicine, and knowledge management. The objective is to report on current results and at the same time to give a review on the present activities in this field in Germany. An effort has been made to include the latest scientific results, as well as lead the reader to the various fields of activity and the problems related to them. Knowledge discovery on the basis of web data is a wide and fast growing area. E commerce is the principal theme of motivation in this field, as companies invest large sums in the electronic market, in order to maximize their profits and minimize their risks. Other applications are telelearning, teleteaching, service support, and citizen information systems. Concerning these applications, there is a great need to understand and support the user by means of recommendation systems, adaptive information systems, as well as by personalization.
