الصفحة 6
الصفحة 6
Groupware : design, implementation, and use ; Vol. 4154 ; 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings
Topical sections include collaborative applications and group interaction, group awareness, computer supported collaborative learning, languages and tools supporting collaboration, groupware development frameworks and toolkits, collaborative workspaces, web-based cooperative environments, mobile collaborative work, and collaborative design.
Grippers in Motion : The Fascination of Automated Handling Tasks
This book shows you how to ensure process reliability on the basis of combining the right components with advanced application know-how. By explaining basic preconditions of the gripping process and highlighting the milestones of automation history, we guide you all the way through to the center of the handling process – the workpiece. Its ambient conditions and setup are clearly defined as well as the process of setting grippers in motion. Starting with simple linear movements up to multi-axis kinematics, you are provided with the details for practical solutions.
Grid Computing Security
In this book Chakrabarti has structured the issues pertaining to grid computing security into three main categories: architecture-related, infrastructure-related, and management-related issues. He discusses all three categories in detail, presents existing solutions, standards, and products, and pinpoints their shortcomings and open questions.
Grid Computing : Software Environments and Tools
The book provides: • Discussion of software engineering and modelling tools for the Grid • Analysis of issues inherent in enabling distributed computing across the Grid • Consideration of the software engineering support necessary for managing Grid applications • Proposal of a posited software engineering lifecycle to support application development for Grid Environments (along with associated tools). • Identification of novel concepts, methods and tools within Grid computing which can be put to work in the context of existing experiments and application case studies
Grid computing : Experiment management, Tool Integration, and Scientific Workflows
Grid computing has become a topic of significant interest in the scientific community as a means of enabling application developers to aggregate resources scattered around the globe for solving large-scale scientific problems. This monograph addresses four critical software development aspects for the engineering and execution of applications on parallel and Grid architectures.
Graph Transformation ; 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations.
Graph drawing ; 15th International symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September 21-24, 2008, and was attended by 91 participants from 19 countries. In response to the call for papers the Program Committee received 83 s- missions,eachdescribing originalresearchand/or a systemdemonstration.Tamassia showed how graph drawing techniques can be used as an e?ective tool in computer security and pointed to future research directions in this area. Following what is now a tradition, the 15th Annual Graph Drawing Contest was held during the conference, also including a Graph Drawing Challenge to the conference attendees.
Gesture smart control
Nowadays actions are increasingly being handled in electronic ways, instead of physical interaction. From earlier times biometrics is used in the authentication of a person. It recognizes a person by using a human trait associated with it like eyes (by calculating the distance between the eyes) and using hand gestures, fingerprint detection, face detection etc. Advantages of using these traits for identification are that they uniquely identify a person and cannot be forgotten or lost. These are unique features of a human being which are being used widely to make the human life simpler. Hand gesture recognition system is a powerful tool that supports efficient interaction between the user and the computer.
Geometry for Computer Graphics : Formulae, Examples and Proofs
Geometry is the cornerstone of computer graphics and computer animation, and provides the framework and tools for solving problems in two and three dimensions. This may be in the form of describing simple shapes such as a circle, ellipse, or parabola, or complex problems such as rotating 3D objects about an arbitrary axis. Geometry for Computer Graphics draws together a wide variety of geometric information that will provide a sourcebook of facts, examples, and proofs for students, academics, researchers, and professional practitioners.
Generative programming and component engineering ; 4th International conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These approaches to software engineering have the potential to revolutionize software development as automation and components revolutionized manufacturing. The conference brings together researchers and practitioners interested in adva- ing automation for software development. It is also a premier forum for cro- fertilization between the programming language and software engineering - search communities. GPCEaroseasajointconference, mergingthepriorconferenceonGenerative and Component-Based Software Engineering (GCSE) and the Workshop on - mantics, Applications, andImplementationofProgramGeneration(SAIG). The proceedingsofthepreviousGPCEconferenceswerepublishedintheLNCSseries of Springer as volumes2487,2830, and 3286.In 2005 GPCE wasco-locatedwith the International Conference on Functional Programming (ICFP) and the s- posium on Trends in Functional Programming (TFP), re?ecting the vigorous interaction between the functional programming and generative programming research communities. GPCE and ICFP are both sponsored by the Association for Computing Machinery. The quality and breadth of the papers submitted to GPCE 2005 was impr- sive. All 86 papers, including 5 papers for tool demonstrations, were rigorously reviewed by 17 highly quali?ed Program Committee members. The members of the Program Committee ?rst provided in-depth individual reviews of the s- mitted papers, and then debated the merits of the papers through an extended electronicProgramCommitteemeeting.After much(friendly) argument,25r- ular papers and 2 tool demonstration papers were selected for publication. The ProgramCommittee provided extensive technical feedback to the authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.
Generative and transformational techniques in software engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held in Braga, Portugal, in July 2007.The 7 tutorial lectures presented together with 5 short tutorials and 4 contributions to the participants workshop were carefully selected during multiple rounds of reviewing and improvement. The tutorials given by renowned representatives of complementary approaches and problem domains combine foundations, methods, examples, and tool support.
Fuzzy-Neuro Approach to Agent Applications : From the AI Perspective to Modern Ontology
The book provides a full explanation of the concepts and theories of intelligent agents and agent-based systems. Providing a comprehensive theoretical background, the author covers modern artificial intelligence topics such as ontologies, neural networks, chaos theory, fuzzy logics and genetic algorithms. Finally, the author details how the iJADK toolkit (intelligent Java agent development kit for intelligent e-business applications) can be used in the design and implementation phases of real applications.
Fundamentals of manufacturing engineering using digital visualization
Offers a guide to core principles and practices of manufacturing engineering. It covers the design of, together with technological and measurement issues for, technical systems. Locating charts and setup schemes describing different machining processes are included. Concepts of product quality, with a focus on accuracy indicators, machining accuracy, roughness, and the impact of surface quality on exploitation properties are also explained. Furthermore, key machining methods, including turning, milling, hole machining, grinding, and gear machining, are analyzed in depth, covering their principles, applications, and techniques. The book is enriched by QR codes, linking to a mobile application presenting additional information about the content, for an interactive and extended learning experience. It also uses illustrations visualized with digital tools to promote a better understanding of the concepts.
Fundamentals of image data mining : Analysis, features, classification and retrieval
Presents a comprehensive review of the essentials of image data mining, and the latest cutting-edge techniques used in the field. The coverage spans all aspects of image analysis and understanding, offering deep insights into areas of feature extraction, machine learning, and image retrieval. The theoretical coverage is supported by practical mathematical models and algorithms, utilizing data from real-world examples and experiments. Topics and features: Describes essential tools for image mining, covering Fourier transforms, Gabor filters, and contemporary wavelet transforms / Develops many new exercises (most with MATLAB code and instructions) / Includes review summaries at the end of each chapter / Analyses state-of-the-art models, algorithms, and procedures for image mining / Integrates new sections on pre-processing, discrete cosine transform, and statistical inference and testing / Demonstrates how features like color, texture, and shape can be mined or extracted for image representation / Applies powerful classification approaches: Bayesian classification, support vector machines, neural / networks, and decision trees / Implements imaging techniques for indexing, ranking, and presentation, as well as database visualization
Fundamentals and Methods of Machine and Deep Learning : Algorithms, Tools, and Applications
provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of methodology advances, and algorithm demonstrations with applications. In recent research studies, they are regarded as one of the disruptive technologies that will transform our future life, business, and the global economy. The recent explosion of digital data in a wide variety of domains, including science, engineering, Internet of Things, biomedical, healthcare, and many business sectors, has declared the era of big data, which cannot be analysed by classical statistics but by the more modern, robust machine learning and deep learning techniques. Since machine learning learns from data rather than by programming hard-coded decision rules, an attempt is being made to use machine learning to make computers that are able to solve problems like human experts in the field.
Fundamental networking in Java
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. It covers 'everything you can do to a socket in Java' and explains when and why you might - or might not - want to do that. The book covers TCP and UDP using both blocking streams and non-blocking channels, and also SSL secure sockets in both blocking and non-blocking modes, unravelling the mysteries of the SSLEngine in the process. Particular attention is paid to the neglected topics of multi-homing and multicast. A unique chapter on client and server architectures uses a quantitative approach rather than the usual design-patterns approach, leading to architectures with predictable performance rather than just coding elegance.
Fundamental approaches to software engineering ; Vol. 3922 ; 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Fundamental approaches to software engineering ; Vol. 3442 ; 8th International Conference, FASE 2005, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.
Fundamental approaches to software engineering ; 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.
Functional Verification of Programmable Embedded Architectures : A Top-Down Approach
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the system architect’s knowledge about the behavior of the design through architecture specification using an Architecture Description Language (ADL). The authors also address two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric.
