Page 31
Page 31
Computers and Games ; 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computers and Games, CG 2008, held in Beijing, China, in September/October 2008 co-located with the 13th Computer Olympiad and the 16th World Computer-Chess Championship.
Computer-Aided Innovation (CAI) ; IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Computer-Aided Design of User Interfaces V ; Proceedings of the 6th International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania)
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. Several methods [1,3,7,8,9,10,11,15,17,18,19] have been introduced to decompose this life cycle into steps and sub-steps, but these methods rarely provide the design knowledge that should be typically used for achieving each step. In addition, the development life cycle is more focusing directly on the programming - sues than on the design and analysis phases. This is sometimes reinforced by the fact that available tools for 3D UIs are toolkits, interface builders, r- dering engines, etc. When there is such a development life cycle defined, it is typically structured into the following set of activities: 1. The conceptual phase is characterized by the identification of the content and interaction requests. The meta-author discusses with the interface designer to take advantage of the current interaction technology. The int- face designer receives information about the content. The result of this phase is the production of UI schemes (e. g. , written sentences, visual schemes on paper) for defining classes of interactive experiences (e. g. , class Guided tour). Conceptual schemes are produced both for the final users and the authors. The meta-author has a deep knowledge of the c- tent domain and didactic skills too. He/she communicates with the final user too, in order to focus on didactic aspects of interaction. 2.
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations involved in computer-aided design of user interactive applications supported by software, with specific attention for platform-independent user interfaces and context-sensitive or aware applications. This includes: innovative model-based and agent-based approaches, code-generators, model editors, task animators, translators, checkers, advice-giving systems and systems for graphical and multimodal user interfaces. It also addresses User Interface Description Languages. This books attempts to emphasize the software tool support for designing user interfaces and their underlying languages and methods, beyond traditional development environments offered by the market. It will be of interest to software development practitioners and researchers whose work involves human-computer interaction, design of user interfaces, frameworks for computer-aided design, formal and semi-formal methods, web services and multimedia systems, interactive applications, and graphical user and multi-user interfaces.
Computer Vision Metrics : Survey, Taxonomy, and Analysis
Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historical feature description and machine vision methods, with a detailed taxonomy for local, regional and global features. This book provides necessary background to develop intuition about why interest point detectors and feature descriptors actually work, how they are designed, with observations about tuning the methods for achieving robustness and invariance targets for specific applications. The survey is broader than it is deep, with over 540 references provided to dig deeper. The taxonomy includes search methods, spectra components, descriptor representation, shape, distance functions, accuracy, efficiency, robustness and invariance attributes, and more.
Computer Vision and Internet of Things : Technologies and Applications
Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications areas. Using a series of present and future applications – including business insights, indoor-outdoor securities, smart grids, human detection and tracking, intelligent traffic monitoring, e-health departments, and medical imaging – this book focuses on providing a detailed description of the utilization of IoT with computer vision and its underlying technologies in critical application areas, such as smart grids, emergency departments, intelligent traffic cams, insurance, and the automotive industry.
Computer Vision - ACCV 2006 ; Vol. 3852 ; 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II
ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is increasing and ACCV 2006 attracted about 500 submission. The evaluation team consisted of 27 experts serving as Area Chairs and about 270 reviewers in all. The whole process was conducted electronically in a double-blind manner,a ?rstfor ACCV.
Computer Vision - ACCV 2006 ; Vol. 3851 ; 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I
proceedings. ACCV has been making its rounds through the Asian landscape and came to India this year. Interest in computer vision is increasing and ACCV 2006 attracted about 500 submission. The evaluation team consisted of 27 experts serving as Area Chairs and about 270 reviewers in all. The whole process was conducted electronically in a double-blind manner,a ?rstfor ACCV.
Computer Supported Cooperative Work in Design IV ; 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, held in Melbourne, Australia, in April 2007.
Computer Supported Cooperative Work in Design III ; 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
The design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial and proprietary engineering software tools (e.g., CAD, modeling, simulation, visualization, and optimization), engineering databases, and knowledge-based systems. Individuals or individual groups of mult- isciplinary design teams usually work in parallel and separately with various en- neering software tools which are located at different sites. In addition, individual members may be working on different versions of a design or viewing the design from different perspectives, at different levels of detail. In order to accomplish the work, it is necessary to have effective and efficient c- laborative design environments. Such environments should not only automate in- vidual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate, and coordinate their activities within the context of a design project. CSCW (computer-supported coope- tive work) in design is concerned with the development of such environments.
Computer Supported Cooperative Work in Design I
The design of complex artifacts and systems requires the cooperation of multidisciplinary design teams using multiple commercial and non-commercial engineering tools such as CAD tools, modeling, simulation and optimization software, engineering databases, and knowledge-based systems. Individuals or individual groups of multidisciplinary design teams usually work in parallel and separately with various engineering tools, which are located on different sites, often for quite a long time. At any moment, individual members may be working on different versions of a design or viewing the design from various perspectives, at different levels of detail. In order to meet these requirements, it is necessary to have effective and efficient collaborative design environments. These environments should not only automate individual tasks, in the manner of traditional computer-aided engineering tools, but also enable individual members to share information, collaborate and coordinate their activities within the context of a design project. CSCW (computer-supported cooperative work) in design is concerned with the development of such environments.
Computer supported cooperative work and social computing ; 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2020, held in Shenzhen, China, in November 2020. The 40 revised full papers and 15 revised short papers were carefully reviewed and selected from 137 submissions. The papers of this volume are organized in topical sections on: crowdsourcing, crowd intelligence, and crowd cooperative computing; domain-specific collaborative applications; collaborative mechanisms, models, approaches, algorithms, and systems; social media and online communities; and short papers.
Computer Security - ESORICS 2008 ; 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, held in Torremolinos, Spain, in October 2008.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Computer science : Theory and applications ; 15th International computer science symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data.
Computer safety, reliability, and security ; Vol. 4166 ; 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies.
Computer safety, reliability, and security ; Vol. 3688
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
Computer organization and design, enhanced : The hardware / software interface ; 5th ed.
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.Because an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture.
Computer organization and design : The hardware / software interface ; 6th ed.
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. With the post-PC era now upon us, Computer Organization and Design moves forward to explore this generational change with examples, exercises, and material highlighting the emergence of mobile computing and the Cloud. Updated content featuring tablet computers, Cloud infrastructure, and the x86 (cloud computing) and ARM (mobile computing devices) architectures is included
Computer Network Security ; Vol. 3685
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, 2005. The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di?erent schools of thought, facilitates the dissemination of new ideas and promotesthespirit of cooperationbetweenresearchersontheinternationalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks.
