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

23rd International Joint Conference on Artificial Intelligence, IJCAI 2013

作者： Lee, Joohyung Meng, Yunsong School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe United States

ISBN: (纸本)9781577356332

Answer Set Programming Modulo Theories is a new framework of tight integration of answer set programming (ASP) and satisfiability modulo theories (SMT). Similar to the relationship between first-order logic and SMT, it is based on a recent proposal of the functional stable model semantics by fixing interpretations of background theories. Analogously to a known relationship between ASP and SAT, "tight" ASPMT programs can be translated into SMT instances. We demonstrate the usefulness of ASPMT by enhancing action language C+ to handle continuous changes as well as discrete changes. We reformulate the semantics of C+ in terms of ASPMT, and show that SMT solvers can be used to compute the language. We also show how the language can represent cumulative effects on continuous resources.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

ICEPOLE: High-speed, hardware-oriented authenticated encryption

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8731卷 392-413页

作者： Morawiecki, Pawel Gaj, Kris Homsirikamol, Ekawat Matusiewicz, Krystian Pieprzyk, Josef Rogawski, Marcin Srebrny, Marian Wójcik, Marcin Institute of Computer Science Polish Academy of Sciences Poland Section of Informatics University of Commerce Kielce Poland Department of Computing Macquarie University Australia Electrical Engineering and Computer Science School Queensland University of Technology Brisbane Australia Cryptographic Engineering Research Group George Mason University United States Cryptography and Information Security Group University of Bristol United Kingdom Cadence Design Systems San Jose United States Intel Gdańsk Poland

This paper introduces our dedicated authenticated encryption scheme ICEPOLE. ICEPOLE is a high-speed hardware-oriented scheme, suitable for high-throughput network nodes or generally any environment where specialized hardware (such as FPGAs or ASICs) can be used to provide high data processing rates. ICEPOLE-128 (the primary ICEPOLE variant) is very fast. On the modern FPGA device Virtex 6, a basic iterative architecture of ICEPOLE reaches 41 Gbits/s, which is over 10 times faster than the equivalent implementation of AES-128-GCM. The throughput-to-area ratio is also substantially better when compared to AES-128-GCM. We have carefully examined the security of the algorithm through a range of cryptanalytic techniques and our findings indicate that ICEPOLE offers high security level. © International Association for Cryptologic Research 2014.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Rank-one matrix pursuit for matrix completion 31

Rank-one matrix pursuit for matrix completion

引用

31st International Conference on Machine Learning, ICML 2014

作者： Wang, Zheng Lai, Ming-Jun Lu, Zhaosong Fan, Wei Davulcu, Hasan Ye, Jieping Biodesign Institue Arizona State University TempeAZ85287 United States Department of Mathematics University of Georgia AthensGA30602 United States Department of Mathematics Simon Fraser University BurnabyBCV5A156 Canada Huawei Noah's Ark Lab Hong Kong Science Park Shatin Hong Kong School of Computing Informatics and Decision Systems Engineering Arizona State University TempeAZ85281 United States

ISBN: (纸本)9781634393973

Low rank matrix completion has been applied successfully in a wide range of machine learning applications, such as collaborative filtering, image inpainting and Microarray data imputation. However, many existing algorithms are not scalable to large-scale problems, as they involve computing singular value decomposition. In this paper, we present an efficient and scalable algo-rithm for matrix completion. The key idea is to extend the well-known orthogonal matching pursuit from the vector case to the matrix case. In each iteration, we pursue a rank-one matrix basis generated by the top singular vector pair of the current approximation residual and update the weights for all rank-one matrices obtained up to the current iteration. We further propose a novel weight updating rule to reduce the time and storage complexity, making the proposed algorithm scalable to large matrices. We establish the linear convergence of the proposed algorithm. The fast convergence is achieved due to the proposed construction of matrix bases and the estimation of the weights. We empirically evaluate the proposed algorithm on many real-world large-scale datasets. Results show that our algorithm is much more efficient than state-of-the- Art matrix completion algorithms while achieving similar or better prediction performance. Copyright © (2014) by the International Machine Learning Society (IMLS) All rights reserved.

关键词： Singular value decomposition

来源：评论

学校读者我要写书评

暂无评论

Patient-centered information extraction for effective search on healthcare forum

Patient-centered information extraction for effective search...

引用

6th International Conference on Social computing, Behavioral-Cultural Modeling and Prediction, SBP 2013

作者： Liu, Yunzhong Chen, Yi School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ United States

ISBN: (纸本)9783642372094

Online healthcare forums are one of the major social media in Health 2.0 for patients and caregivers to share personal experience and to help each other. However, current forums do not support effective information search and thus users are unable to fully leverage the rich information in the forums. In this work, we propose patient-centered information extraction to better organize the information in the forum and have developed a patient-centered medical information database extracted from a forum. In this system, the patients discussed on the forum are identified and their shared medical information is aggregated and associated with the corresponding patients. The experimental evaluation shows that our system can provide better information search results than traditional approaches. © 2013 Springer-Verlag.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Cplus 2ASP: computing action language C+ in answer set programming

Cplus 2ASP: Computing action language C+ in answer set progr...

引用

12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013

作者： Babb, Joseph Lee, Joohyung School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ United States

ISBN: (纸本)9783642405631

We present Version 2 of system Cplus2ASP, which implements the definite fragment of action language C+. Its input language is fully compatible with the language of the Causal Calculator Version 2, but the new system is significantly faster thanks to modern answer set solving techniques. The translation implemented in the system is a composition of several recent theoretical results. The system orchestrates a tool chain, consisting of f2lp, clingo, iclingo, and as2transition. Under the incremental execution mode, the system translates a C+ description into the input language of iclingo, exploiting its incremental grounding mechanism. The correctness of this execution is justified by the module theorem extended to programs with nested expressions. In addition, the input language of the system has many useful features, such as external atoms by means of Lua calls and the user interactive mode. The system supports extensible multi-modal translations for other action languages, such as B and BC, as well. © 2013 Springer-Verlag.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Automatic Identification of Solid-Phase Medication Intake Using Wireless Wearable Accelerometers

Automatic Identification of Solid-Phase Medication Intake Us...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society

作者： Rui Wang Zdenka Sitova Xiaoqing Jia Xiang He Tobi Abramson Paolo Gasti Kiran S. Balagani Aydin Farajidavar Integrated Medical Systems (IMS) Laboratory at the School of Engineering and Computing Sciences New York Institute of Technology (NYIT) Faculty of Informatics Masaryk University School of health profession NYIT Cyber Security and Privacy Laboratory at the School of Engineering and Computing Sciences NYIT

ISBN: (纸本)9781424479276

We have proposed a novel solution to a fundamental problem encountered in implementing non-ingestion based medical adherence monitoring systems, namely, how to reliably identify pill medication intake. We show how wireless wearable devices with tri-axial accelerometer can be used to detect and classify hand gestures of users during solid-phase medication intake. Two devices were worn on the wrists of each user. Users were asked to perform two activities in the way that is natural and most comfortable to them: (1) taking empty gelatin capsules with water, and (2) drinking water and wiping mouth. 25 users participated in this study. The signals obtained from the devices were filtered and the patterns were identified using dynamic time warping algorithm. Using hand gesture signals, we achieved 84.17 percent true positive rate and 13.33 percent false alarm rate, thus demonstrating that the hand gestures could be used to effectively identify pill taking activity.

关键词： Time series analysis Monitoring Mouth Medical diagnostic imaging Acceleration Accelerometers

来源：评论

学校读者我要写书评

暂无评论

Choosing cost-effective configuration in cloud storage 11

Choosing cost-effective configuration in cloud storage

引用

11th IEEE International Symposium on Autonomous Decentralized systems, ISADS 2013

作者： Tsai, Wei-Tek Qi, Guanqiu Chen, Yinong School of Computing Informatics and Decision Systems Engineering Arizona State University TempeAZ United States

ISBN: (纸本)9781467350686

Cloud storage provides a virtually unlimited storage spaces for customers. Customers can combine their data storages from different types of cloud storage following their own requirements. End customers often stuck in choosing desirable configuration from different types of cloud storage. How to spend the minimum costs on using the highly efficient cloud storage? How to balance the relationship between the expenditures and performance? This paper proposes a cost-effective optimal configuration model using the repeated game model that can provide optimal configuration solutions to customers. The data mining techniques are used in provisioning on cloud storage. Classification helps users to find the related data and trend analysis assists users to mine the future trend on data storage. A simulate experiment is discussed and verify the correctness of the proposed model.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

The NL2KR system 1

The NL2KR system

引用

1st Workshop on Natural Language Processing and Automated Reasoning, NLPAR 2013 - Co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013

作者： Baral, Chitta Dzifcak, Juraj Kumbhare, Kanchan Vo, Nguyen H. School of Computing Informatics and Decision Systems Engineering Arizona State University TempeAZ United States

In this paper we will describe the NL2KR system that translates natural language sentences to a targeted knowledge representation formalism. The system starts with an initial lexicon and learns meaning of new words from a given set of examples of sentences and their translations. We will describe the first release of our system with several examples.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Designing a tangible learning environment with a teachable agent 1

引用

16th International Conference on Artificial Intelligence in Education, AIED 2013

作者： Muldner, Kasia Lozano, Cecil Girotto, Victor Burleson, Winslow Walker, Erin Computing Informatics and Decision Systems Engineering Arizona State University United States

ISBN: (数字)9783642391125

ISBN: (纸本)9783642391118

To date, the majority of learning technologies only afford virtual interactions on desktops or tablets, despite evidence that students learn through physical manipulation of their environment. We implemented a tangible system that allows students to solve coordinate geometry problems by interacting in a physical space with digitally augmented devices, using a teachable agent framing. We describe our system and the results from a pilot involving students using our system to teach a virtual agent. Students used a variety of strategies to solve problems that included embodied behaviors, and the majority did feel they were teaching their agent. We discuss the implications of our findings with respect to the design of adaptive tangible teachable systems. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Exploring adaptive scaffolding in a multifaceted tangible learning environment 16

Exploring adaptive scaffolding in a multifaceted tangible le...

引用

Workshops at the 16th International Conference on Artificial Intelligence in Education, AIED 2013

作者： Thomas, Elissa Girotto, Victor Abreu, Alex Lozano, Cecil Muldner, Kasia Burleson, Winslow Walker, Erin Computing Informatics and Decision Systems Engineering Arizona State University United States

The majority of educational software is designed for traditional com- puters, which allow little opportunity for physical manipulation of an environ- ment. Tangible Activities for Geometry (TAG) provides students a tangible learning environment. Currently, however, TAG does not employ adaptive scaf- folding techniques. Accordingly, we describe how scaffolding techniques and teachable agent behaviors can be integrated into TAG to improve this tangible learning environment.

关键词： Computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：