الصفحة 33
الصفحة 33
HCI and usability for education and work ; 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2008, held in Graz, Austria, in November 2008.The 7 revised full papers and 26 revised short papers presented were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on cognitive processes and end user experience, social software and collaborative knowledge development, knowledge processing, assessment and human performance.
Hardware and software, verification and testing ; 2nd International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL.
Hardware and software : Verification and testing ; 3rd International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic verifcation, for both hardware and software systems. This year’s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process.
Hardware and software : Verification and testing ; 1st International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
Haptics: Science, Technology, Applications ; 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020.
Haptics : Perception, Devices and Scenarios ; 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2008, held in Madrid, Spain, in June 2008.The 119 revised full papers presented were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections on control and technology, haptic perception and psychophysics, haptic devices, haptics rendering and display, multimodal interaction and telepresence, as well as haptic applications.
Haptic and Audio Interaction Design ; 3rd International Workshop, HAID 2008 Jyväskylä, Finland, September 15-16, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Haptic and Audio Interaction Design, HAID 2008 held in Jyväskylä, Finland, in September 2008.The 13 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on visual impairment, applications of multimodality, evaluation, conceptual integration of audio and haptics, interaction techniques, and perception.
Haptic and Audio Interaction Design ; 2nd International Workshop, HAID 2007 Seoul, Korea, November 29-30, 2007 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on Haptic and Audio Interaction Design, HAID 2007 held in Seoul, South Korea, in November 2007. The papers are organized in topical sections on tactile displays, communication and games, accessibility and navigation, as well as design.
Haptic and Audio Interaction Design ; 1st International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings
Overview The International Workshop on Haptic and Audio Interaction Design was - ganized as part of the EPSRC-funded MultiVis project. The main focus of the workshop was to investigate how the modalities of sound and haptics (touch) could be used together in interaction, and what novel interfaces could be p- vided when they are used in conjunction. What are the relative advantages of each of the modalities when used alone and together? Are there reasons why haptic-based information is moreuseful in certain situations than equivalent - dio information? How can di?erent modalities be used together to create c- pelling and useful interaction with computer-based systems?
Handbook on Craniofacial Superimposition : The MEPROCS Project
This book is the first comprehensive guide to a new soft computing technique which is used in complex forensic cases. The chapters include detailed technical and practical overviews, and discussions about the latest tools, open problems and ethical and legal issues involved. The book will be of interest to researchers and practitioners in forensic medicine and computational intelligence.
Handbook of vascular biometrics
This handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric recognition, i.e. vascular biometrics, including finger vein recognition, hand/palm vein recognition, retina recognition, and sclera recognition.
Handbook of smart cities
This Handbook presents a comprehensive and rigorous overview of the state-of-the-art on Smart Cities. It provides the reader with an authoritative, exhaustive one-stop reference on how the field has evolved and where the current and future challenges lie. From the foundations to the many overlapping dimensions (human, energy, technology, data, institutions, ethics etc.)
Handbook of Nature-Inspired and Innovative Computing : Integrating Classical Models with Emerging Technologies
This comprehensive handbook, the first of its kind to address the connection between nature-inspired and traditional computational paradigms, is a repository of case studies dealing with different problems in computing and solutions to these problems based on nature-inspired paradigms. The "Handbook of Nature-Inspired and Innovative Computing: Integrating Classical Models with Emerging Technologies" is an essential compilation of models, methods, and algorithms for researchers, professionals, and advanced-level students working in all areas of computer science, IT, biocomputing, and network engineering.
Handbook of multibiometrics
Handbook of Multibiometrics, a professional book, introduces multibiometric systems, and demonstrates the noteworthy advantages of these systems over their unimodal counterparts. In addition, this book describes in detail the various scenarios that are possible when fusing biometric evidence from multiple information sources. This comprehensive volume on multibiometric systems concisely and clearly outlines the different fusion methodologies that have been proposed by researchers to integrate multiple biometric traits.
Handbook of modern sensors. physics, designs, and applications
Presents a comprehensive and up-to-date account of the theory (physical principles), design, and practical implementations of various sensors for scientific, industrial, and consumer applications. This latest edition focuses on the sensing technologies driven by the expanding use of sensors in mobile devices. These new miniature sensors will be described, with an emphasis on smart sensors which have embedded processing systems. The chapter on chemical sensors has also been expanded to present the latest developments.
Handbook of Mathematical Models in Computer Vision
In this edited volume we present the most prominent mathematical models that are considered in computational vision. To this end, tasks of increasing complexity are considered and we present the state-of-the-art methods to cope with such tasks. The volume consists of six thematic areas that provide answers to the most dominant questions of computational vision: Image reconstruction, Segmentation and object extraction, Shape modeling and registration, Motion analysis and tracking, 3D from images, geometry and reconstruction Applications in medical image analysis
Handbook Of Mathematical Models For Languages And Computation
Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors pay special attention to the implementation of mathematical concepts to explain clearly how to encode them in computational practice. All computer programs are written in C#. The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic.
Handbook of Geometric Computing : Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics
Many computer scientists, engineers, applied mathematicians, and physicists use geometry theory and geometric computing methods in the design of perception-action systems, intelligent autonomous systems, and man-machine interfaces. This handbook brings together the most recent advances in the application of geometric computing for building such systems, with contributions from leading experts in the important fields of neuroscience, neural networks, image processing, pattern recognition, computer vision, uncertainty in geometric computations, conformal computational geometry, computer graphics and visualization, medical imagery, geometry and robotics, and reaching and motion planning. For the first time, the various methods are presented in a comprehensive, unified manner.
Handbook of Fractional Calculus for Engineering and Science
Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods and algorithms for engineering-related equations. Contains comparison of various methods for accuracy and validity. Demonstrates the applicability of fractional calculus in science and engineering. Examines qualitative as well as quantitative properties of solutions of various types of science- and engineering-related equations.
Handbook of Face Recognition
This authoritative handbook is the first to provide complete coverage of face recognition, including major established approaches, algorithms, systems, databases, evaluation methods, and applications. After a thorough introductory chapter from the editors, 15 chapters address the sub-areas and major components necessary for designing operational face recognition systems. Each chapter focuses on a specific topic, reviewing background information, reviewing up-to-date techniques, presenting results, and offering challenges and future directions.
