检索结果-内蒙古大学图书馆

Computational Science — ICCS 2003 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Peter M. A. Sloot David Abramson Alexander V. Bogdanov Yuriy E. Gorbachev Jack J. Dongarra Albert Y. Zomaya

来源：评论

学校读者我要写书评

暂无评论

Concrete examples of abstraction as manifested in students' transformative experiences 08

Concrete examples of abstraction as manifested in students' ...

引用

4th International computing Education Research Workshop, ICER'08

作者： Moström, Jan Erik Boustedt, Jonas Eckerdal, Anna McCartney, Robert Sanders, Kate Thomas, Lynda Zander, Carol Department of Computing Science Umea University 901 87 Umea Sweden Dept. of Mathematics Natural and Computer Science Högskolan i Gävle S80176 Gävle Sweden Department of Information Technology Uppsala University Uppsala Sweden Dept. of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Math and Computer Science Rhode Island College Providence RI United States Department of Computer Science Aberystwyth University Aberystwyth United Kingdom Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781605582160

This paper examines transformational learning experiences of computing students as a way to better understand threshold concepts in computing. From empirical evidence we found that students often describe transformative experiences as learning situations in which they were led to use various kinds of abstraction, for example modularity, data abstraction, inheritance, polymorphism, reuse, design patterns, and complexity. Some students describe an abstract concept as coming first, and then needing to be made concrete though application;others describe transformations in which they learn the advantages of these abstract concepts from their experience of not using them. Abstraction is certainly of central importance in computer science. It appears, however, from our students' descriptions of transformative experiences, that abstraction per se is not a threshold, but that particular concepts in which abstraction is paramount exhibit the characteristics of threshold concepts. Copyright 2008 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Efficient Gesture Recognition for the Assistance of Visually Impaired People using Multi-Head Neural Networks

arXiv

引用

arXiv 2022年

作者： Alashhab, Samer Gallego, Antonio Javier Lozano, Miguel Ángel Dept. of Software and Computing Systems University of Alicante Carretera San Vicente del Raspeig s/n Alicante03690 Spain Dept. of Computer Science and AI University of Alicante Carretera San Vicente del Raspeig s/n Alicante03690 Spain

This paper proposes an interactive system for mobile devices controlled by hand gestures aimed at helping people with visual impairments. This system allows the user to interact with the device by making simple static and dynamic hand gestures. Each gesture triggers a different action in the system, such as object recognition, scene description or image scaling (e.g., pointing a finger at an object will show a description of it). The system is based on a multi-head neural network architecture, which initially detects and classifies the gestures, and subsequently, depending on the gesture detected, performs a second stage that carries out the corresponding action. This multi-head architecture optimizes the resources required to perform different tasks simultaneously, and takes advantage of the information obtained from an initial backbone to perform different processes in a second stage. To train and evaluate the system, a dataset with about 40k images was manually compiled and labeled including different types of hand gestures, backgrounds (indoors and outdoors), lighting conditions, etc. This dataset contains synthetic gestures (whose objective is to pre-train the system in order to improve the results) and real images captured using different mobile phones. The results obtained and the comparison made with the state of the art show competitive results as regards the different actions performed by the system, such as the accuracy of classification and localization of gestures, or the generation of descriptions for objects and scenes. © 2022, CC BY-NC-ND.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Towards self-explainable cyber-physical systems

arXiv

引用

arXiv 2019年

作者： Blumreiter, Mathias Greenyer, Joel Garcia, Francisco Javier Chiyah Klös, Verena Schwammberger, Maike Sommer, Christoph Vogelsang, Andreas Wortmannz, Andreas Institute for Software Systems Hamburg University of Technology Software Engineering Group Leibniz Universität Hannover Germany Heriot-Watt University Software and Embedded Systems Engineering Technische Universität Berlin Germany Department of Computing Science University of Oldenburg Heinz Nixdorf Institute Dept. of Computer Science Paderborn University Automated Systems Engineering Technologies Technische Universität Berlin Germany Software Engineering RWTH Aachen University

With the increasing complexity of Cyber-Physical systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time, answer questions about the system's past, current, and future behavior. As hitherto no design methodology or reference framework exists for building such systems, we propose the Monitor, Analyze, Build, Explain (MAB-EX) framework for building self-explainable systems that leverage requirements- A nd explainability models at run-time. The basic idea of MAB-EX is to first Monitor and Analyze a certain behavior of a system, then Build an explanation from explanation models and convey this EXplanation in a suitable way to a stakeholder. We also take into account that new explanations can be learned, by updating the explanation models, should new and yet unexplainable behavior be detected by the system. Copyright © 2019, The Authors. All rights reserved.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Service-oriented software reengineering: Bertie3 as Web Services

Service-oriented software reengineering: Bertie3 as Web Serv...

引用

2005 IEEE International Conference on Web Services, ICWS 2005

作者： Chung, Sam Young, Peter S. Nelson, Jack Computing and Software Systems Institute of Technology Univ. of WA Tacoma 1900 Commerce St. Tacoma WA 98402 Dept. of Computer Science College of Engineering Univ. of IL at Urbana-Champaign 20403 68th Ave S. Urbana IL 61801 Interdisciplinary Arts and Sciences Univ. of WA Tacoma 1900 Commerce St. Tacoma WA 98402

ISBN: (纸本)0769524095

This research proposes to modernize a legacy software system by using web services as the main building blocks of the software reengineering. For this purpose, a legacy theorem proof checking and derivation tool called Bertie3 is reengineered in terms of service-oriented architecture, service-oriented componentization, and external data representation and serialization. With the web services of derivation checking engines and first-order markup languages, a minimal amount of development time can be spent working on well-known and well-developed components. More time can be spent updating the features that make the tool unique. This case study shows that modernizing a software system with web services will allow the business components of the system to be easily expanded and integrated with other application components for future demands.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Arabic Sentiment Analysis of Food Delivery Services Reviews

Arabic Sentiment Analysis of Food Delivery Services Reviews

引用

International Symposium on Networks, Computers and Communications (ISNCC)

作者： Dheya Mustafa Safaa M. Khabour Ahmed S. Shatnawi Eyad Taqieddin Dept. of Computer Engineering Faculty of Engineering The Hashemite University Zarqa Jordan Dept. of Information Systems Faculty of Information Technology and Computer Sciences Yarmouk University Irbid Jordan Dept. of Software Engineering Jordan University of Science & Technology Irbid Jordan Dept. of Cyber Security School of Computing and Informatics Al-Hussein Technical University Amman Jordan

Customer reviews on online platforms have grown to become an important source of insight into a company's performance. Food delivery services (FDS) companies aim to effectively use customers' feedback to identify areas for improvement of customer satisfaction. Although Arabic is becoming one of the most widely used languages on the Internet, only a few studies have focused on Arabic sentiment analysis to date. The present study conducts an extensive emotion mining and sentiment analysis on FDS-related reviews in Arabic, exploiting natural language processing, and machine learning techniques to extract information that reflects customers' subjective viewpoints, recognize their feelings, and determine polarity in the FDS domain. This work begins with collecting the FDS dataset (Talabat), and then extracting and creating a dialects lexicon for Arabic dialects, followed by walking the reader through detailed steps of cleaning and pre-processing a manually annotated dataset. Finally, we examined classification algorithms including Decision Tree (DT), and Support Vector Machine (SVM). We achieved a maximum accuracy of about 82% using the SVM classifier.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computational Science — ICCS 2003 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Peter M. A. Sloot David Abramson Alexander V. Bogdanov Yuriy E. Gorbachev Jack J. Dongarra Albert Y. Zomaya

ISBN: (数字)9783540448600

ISBN: (纸本)9783540401940

Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. Computational science plays a vital role in fundamental advances in biology, physics, chemistry, astronomy, and a host of other disciplines. This is through the coordination of computation, data management, access to instrumentation, knowledge synthesis, and the use of new devices. It has an impact on researchers and practitioners in the sciences and beyond. The sheer size of many challenges in computational science dictates the use of supercomputing, parallel and distri- ted processing, grid-based processing, advanced visualization and sophisticated algorithms. At the dawn of the 21st century the series of International Conferences on Computational Science (ICCS) was initiated with a ?rst meeting in May 2001 in San Francisco. The success of that meeting motivated the organization of the - cond meeting held in Amsterdam April 21–24, 2002, where over 500 participants pushed the research ?eld further. The International Conference on Computational Science 2003 (ICCS 2003) is the follow-up to these earlier conferences. ICCS 2003 is unique, in that it was a single event held at two di?erent sites almost opposite each other on the globe – Melbourne, Australia and St. Petersburg, Russian Federation. The conference ran on the same dates at both locations and all the presented work was published in a single set of proceedings, which you hold in your hands right now.

关键词： Theory of Computation Programming Techniques Computer systems Organization and Communication Networks Mathematics of computing Information systems and Communication Service Computer Imaging, Vision, Pattern Recognition and Graphics

来源：评论

学校读者我要写书评

暂无评论

SBAC-PAD 2006 program chairs' message

Proceedings - Symposium on Computer Architecture and High Pe...

引用

Proceedings - Symposium on Computer Architecture and High Performance computing 2006年 viii-ix页

作者： De, Souza, Alberto Ferreira Buyya, Rajkumar Laboratório de Computação de Alto Desempenho Departamento de Informática Universidade Federal do Espírito Santo Brazil Grid Computing and Distributed Systems Laboratory Dept. of Computer Science and Software Engineering University of Melbourne Australia

No abstract available

ISBN: (纸本)0769527043

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient public key cryptosystem resilient to key leakage chosen ciphertext attacks

Efficient public key cryptosystem resilient to key leakage c...

引用

Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013

作者： Liu, Shengli Weng, Jian Zhao, Yunlei Dept. of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China Department of Computer Science Emergency Technology Research Center of Risk Evaluation and Prewarning on Public Network Security Jinan University China Software School Fudan University Shanghai 201203 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing 100093 China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai China

ISBN: (纸本)9783642360947

Leakage-resilient public key encryption (PKE) schemes are designed to resist "memory attacks", i.e., the adversary recovers the cryptographic key in the memory adaptively, but subject to constraint that the total amount of leaked information about the key is bounded by some parameter λ. Among all the IND-CCA2 leakage-resilient PKE proposals, the leakage-resilient version of the Cramer-Shoup cryptosystem (CS-PKE), referred to as the KL-CS-PKE scheme proposed by Naor and Segev in Crypto09, is the most practical one. But, the key leakage parameter λ and plaintext length m of KL-CS-PKE are subject to λ + m ≤ log q - ω(log κ), where κ is security parameter and q is the prime order of the group on which the scheme is based. Such a dependence between λ and m is undesirable. For example, when λ (resp., m) approaches to log q, m (resp., λ) approaches to 0. In this paper, we designed a new variant of CS-PKE that is resilient to key leakage chosen ciphertext attacks. Our proposal is λ ≤ log q - ω(log κ) leakage-resilient, and the leakage parameter λ is independent of the plaintext space that has the constant size q (exactly the same as that in CS-PKE). The performance of our proposal is almost as efficient as the original CS-PKE. As far as we know, this is the first leakage-resilient CS-type cryptosystem whose plaintext length is independent of the key leakage parameter, and is also the most efficient IND-CCA2 PKE scheme resilient to up to log q - ω(log κ) leakage. © 2013 Springer-Verlag.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Medical cyber-physical systems development: A forensics-driven approach

arXiv

引用

arXiv 2017年

作者： Grispos, George Glisson, William Bradley Choo, Kim-Kwang Raymond Lero - the Irish Software Research Centre University of Limerick Limerick Ireland School of Computing University of South Alabama MobileAL United States Dept. of Information Systems and Cyber Security University of Texas at San Antonio San AntonioTX78249 United States

The synthesis of technology and the medical industry has partly contributed to the increasing interest in Medical Cyber-Physical systems (MCPS). While these systems provide benefits to patients and professionals, they also introduce new attack vectors for malicious actors (e.g. financially- and/or criminally-motivated actors). A successful breach involving a MCPS can impact patient data and system availability. The complexity and operating requirements of a MCPS complicates digital investigations. Coupling this information with the potentially vast amounts of information that a MCPS produces and/or has access to is generating discussions on, not only, how to compromise these systems but, more importantly, how to investigate these systems. The paper proposes the integration of forensics principles and concepts into the design and development of a MCPS to strengthen an organization's investigative posture. The framework sets the foundation for future research in the refinement of specific solutions for MCPS investigations1. Copyright © 2017, The Authors. All rights reserved.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：