الصفحة 36
الصفحة 36
Computer Vision - ECCV 2002 ; 7th European Conference on Computer Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part I
The privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, and Lund University, with the conference venue in Copenhagen. This year’s conference attracted more papers than ever before, with around 600 submissions. Still, together with the conference board, we decided to keep the tradition of holding ECCV as a single track conference. Each paper was anonymously refereed by three different reviewers. For the ?nal selection, for the ?rst time for ECCV, a system with area chairs was used.
Computer Vision – ACCV 2007 ; 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and gesture, tracking, camera networks, and face/gesture/action detection and recognition. This book also covers learning, motion and tracking, retrival and search, and human pose estimation.
Computer Vision – ACCV 2007 ; 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I
Contains sections on shape and texture, fitting, calbration, detection, image and video processing, applications, face and gesture, tracking, camera networks, and face/gesture/action detection and recognition. This book also covers learning, motion and tracking, retrival and search, and human pose estimation.
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 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 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 ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer recognition systems 2
Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents actual comprehensive study of this field. It contains a collection of over one hundred carefully selected articles contributed by experts of pattern recognition. It reports on current research with respect to both methodology and applications. In particular, it includes the following sections: Features, learning and classifiers / Image processing and computer vision / Speech and word recognition / Medical applications / Various applications. This book is a great reference tool for scientists who deal with the problems of designing computer pattern recognition systems. Its target readers can be the as well researchers as students of computer science, artificial intelligence or robotics.
Computer Recognition Systems ; Proceedings of 4th International Conference on Computer Recognition Systems CORES'05
Presents the results of the 4th International Conference on Computer Recognition Sytems CORES-05. This book covers various topics in pattern recognition including: classification and interpretation of text, video, voice; statistical, soft and structural methods of pattern recognition; image processing, analysis and interpretation; and more.
Computer Processing of Oriental Languages. Beyond the Orient : The Research Challenges Ahead ; 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006.The papers are organized in topical sections on information retrieval, document classification, questions and answers, summarization, machine translation, word segmentation, chunking, abbreviation expansion, writing-system issues, parsing, semantics, and lexical resources.
Computer Graphics for Artists : An Introduction
Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in inefficiency and a lower quality of work. This book addresses these issues by providing fundamental information in a university course format, with theoretical material, detailed illustrations, and projects to test the reader’s understanding of the concepts covered.
Computer and Information Sciences - ISCIS 2005 ; 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Symposium on Computer and Information Sciences, ISCIS 2005, held in Istanbul, Turkey in October 2005. The 92 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 491 submissions. The papers are organized in topical sections on computer networks, sensor and satellite networks, security and cryptography, performance evaluation, e-commerce and Web services, multiagent systems, machine learning, information retrieval and natural language processing, image and speech processing, algorithms and database systems, as well as theory of computing.
Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry.
Computer Algebra Recipes : An Advanced Guide to Scientific Modeling
The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking.
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems.
Computer aided verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification ; 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computational Thinking Education
This book is under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational thinking education. It provides an in-depth discussion of computational thinking, including the notion of perceiving computational thinking practices as ways of mapping models from the abstraction of data and process structures to natural phenomena. Further, it explores how computational thinking education is implemented in different regions, and how computational thinking is being integrated into subject learning in K-12 education. In closing, it discusses computational thinking from the perspective of STEM education, the use of video games to teach computational thinking, and how computational thinking is helping to transform the quality of the workforce in the textile and apparel industry.
Computational Processing of the Portuguese Language ; 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
Since 1993, PROPOR Workshops have become an important forum for - searchers involved in the Computational Processing of Portuguese,both written and spoken. The workshop and this book were structured around the following main t- ics, seven for full papers: (i) automatic summarization; (ii) resources; (iii) au- matic translation; (iv) named entity recognition; (v) tools and frameworks; (vi) systems and models; and another ?ve topics for short papers; (vii) information extraction; (viii) speech processing; (ix) lexicon; (x) morpho-syntactic studies; (xi) web, corpus and evaluation.
