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

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Nianbo Liu Ming Liu Guihai Chen Jiannong Cao School of Computer Science and Engineering University of Electronic Science and Technology Chengdu China Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai China Department of Computing Hong Kong Polytechnic University Hong Kong China

ISBN: (纸本)9781467307734;9781467307758

In Vehicular Ad Hoc Networks (VANETs), content distribution directly relies on the fleeting and dynamic contacts between moving vehicles, which often leads to prolonged downloading delay and terrible user experience. Deploying Wifi-based Access Points (APs) could relieve this problem, but it often requires a large amount of investment, especially at the city scale. In this paper, we propose the idea of ParkCast, which doesn't need investment, but leverages roadside parking to distribute contents in urban VANETs. With wireless device and rechargable battery, parked vehicles can communicate with any vehicles driving through them. Owing to the extensive parking in cities, available resources and contact opportunities for sharing are largely increased. To each road, parked vehicles at roadside are grouped into a line cluster as far as possible, which is locally coordinated for node selection and data transmission. Such a collaborative design paradigm exploits the sequential contacts between moving vehicles and parked ones, implements sequential file transfer, reduces unnecessary messages and collisions, and then expedites content distribution greatly. We investigate ParkCast through theoretic analysis and realistic survey and simulation. The results prove that our scheme achieve high performance in distribution of contents with different sizes, especially in sparse traffic conditions.

关键词： Vehicles Magnetic heads Roads Delay Network coding Collaboration Cities and towns

来源：评论

学校读者我要写书评

暂无评论

Bias analyses of spontaneous facial expression database

Bias analyses of spontaneous facial expression database

引用

International Conference on Pattern Recognition

作者： Zhaoyu Wang Shangfei Wang Yachen Zhu Qiang Ji Key Laboratory of Computing and Communicating Software of Anhui Province School of Computer Science and Technology University of Science and Technology of China Hefei Anhui China Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY USA

ISBN: (纸本)9781467322164

In this paper, cross-corpora evaluations are used to analyze the bias of spontaneous facial expression databases. Local binary pattern, Gabor, eigenface and fisherface features are extracted and applied to the four spontaneous expression databases: USTC-NVIE, VAM, Belfast Naturalistic and SEMAINE to recognize arousal (high/low) and valance (positive/negative) respectively. Experimental results indicate that there exists bias among different spontaneous expression databases. The emotion-induction methods, the variety of subjects and the quantity of raters may have caused such a bias.

关键词： Databases Feature extraction Face recognition Videos Principal component analysis Training

来源：评论

学校读者我要写书评

暂无评论

Break index labeling of mandarin text via syntactic-to-prosodic tree mapping

Break index labeling of mandarin text via syntactic-to-proso...

引用

International Symposium on Chinese Spoken Language Processing

作者： Xiaotian Zhang Yao Qian Hai Zhao Frank K. Soong Center for Brain-Like Computing and Machine Intelligence Department of Computer Science and Engineering MOE-Microsoft Key Laboratory for Intelligent Computing and Intelligent Systems Shanghai Jiaotong University Shanghai China Microsoft Research Asia Beijing China

In this study, we investigate the break index labeling problem with a syntactic-to-prosodic structure conversion. The statistical relationship between the mapped syntactic tree structure and prosodic tree structure of sentences in the training set is used to generate a Synchronous Tree Substitution Grammar (STSG) which can describe the probabilistic mapping (substitution) rules between them. For a given test sentence and the corresponding parsed syntactic tree structure, thus generated STSG can convert the syntactic tree to a prosodic tree statistically. We compare the labeling results with other approaches and show the probabilistic mapping can indeed benefit break index labeling performance.

关键词： IP networks Biological system modeling Pragmatics Abstracts Syntactics

来源：评论

学校读者我要写书评

暂无评论

Tunable metamaterials based on ferrites and the applications

Tunable metamaterials based on ferrites and the applications

引用

International Workshop on Metamaterials

作者： Yongjun Huang Guangjun Wen Weiren Zhu School of Communication and Information Engineering University of Electronic Science and Technology of China Chengdu China Advanced Computing and Simulation Laboratory (AxL) Department of Electrical and Computer Systems Engineering Monash University Clayton VIC Australia

The research of metamaterial is one of most important global activity that promises to change the lives in many different ways. Flexibly controlling the properties of metamaterials by tunable designs makes metamaterials more colorful and thus enables a family of new electromagnetic devices. In this paper, the use of ferrites on design of tunable metamaterials has been reviewed. Owing to the novel properties of ferrites, including broadband negative permeability and tunability of permeability, a great many researchers have focused on investigating ferrites based metamaterials and the relevant applications. This paper reviews the design, theoretical analysis, numerical and experimental demonstrations, and the potential applications of the ferrite based metamaterials.

关键词： Metamaterials Ferrites Wires Permeability Magnetic resonance Helium

来源：评论

学校读者我要写书评

暂无评论

Model checking cooperative multi-agent systems in BDI logic

引用

Journal of Information and Computational science 2012年第5期9卷 1185-1194页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Xu, Zhaocheng School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

Traditional temporal logics such as LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) have shown tremendous success in specifying and verifying hardware and software systems. However, this kind of logic can only model the dynamic behaviors for a single system, and fall short in capturing the joint and concurrent aspects in the composition of systems, such as the interactions and coordinations of agents in Multi-agent systems. Although ATL (Alternating-time Temporal Logic) can solve the problem to a certain extent, by preceding the temporal operators with a selective path quantifier, to specify that the interactions between entities inside the system can make sure that there is a strategy to reach a certain state, it can not formalize the rational mental attitudes of the agents such as the Belief, Desire and Intention (BDI) which plays an essential role in decision making during cooperation with other agents. This paper will investigate this problem by proposing a logic of ATLBDI (Alternating-time Temporal Logic of Belief Desire and Intention) and discuss the algorithmic issues such as model checking algorithms and the computational complexity, along with examples to show its effectiveness. We conclude that model checking for ATLBDI is completely tractable and is in PTIME-Complete, which is quite an optimistic and promising result for further applications. © 2012 by Binary Information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Tunable ferrite based triple-band μ-negative metamaterial

Tunable ferrite based triple-band μ-negative metamaterial

引用

Asia Communications and Photonics Conference and Exhibition (ACP)

作者： Haibin Sun Guangjun Wen Yongjun Huang Jingping Zhong Weiren Zhu Key Laboratory of Broadband Optical Fiber Transmission & Communication Networks School of Communication and Information Engineering University of Electronic Science and Technology Chengdu China Advanced Computing and Simulation Laboratory (AxL) Department of Electrical and Computer Systems Engineering Monash University Clayton VIC Australia

We present a tunable triple-band μ-negative metamaterial composed of loop resonator and ferrite. The tunable triple-band-stop transmission spectrum of such metamaterial is investigated numerically by full wave simulations. Moreover, the corresponding effective parameters are retrieved to illustrate the tunable μ-negative characteristic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-Stage Multi-Task Feature Learning* 12

Multi-Stage Multi-Task Feature Learning*

引用

Annual Conference on Neural Information Processing systems

作者： Pinghua Gong Jieping Ye Changshui Zhang State Key Laboratory on Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology (TNList) Department of Automation Tsinghua University Beijing 100084 China Computer Science and Engineering Center for Evolutionary Medicine and Informatics The Biodesign Institute Arizona State University Tempe AZ 85287 USA

ISBN: (纸本)9781627480031

Multi-task sparse feature learning aims to improve the generalization performance by exploiting the shared features among tasks. It has been successfully applied to many applications including computer vision and biomedical informatics. Most of the existing multi-task sparse feature learning algorithms are formulated as a convex sparse regularization problem, which is usually suboptimal, due to its looseness for approximating an ?_0o-type regularizer. In this paper, we propose a non-convex formulation for multi-task sparse feature learning based on a novel regularizer. To solve the non-convex optimization problem, we propose a Multistage Multi-Task Feature Learning (MSMTFL) algorithm. Moreover, we present a detailed theoretical analysis showing that MSMTFL achieves a better parameter estimation error bound than the convex formulation. Empirical studies on both synthetic and real-world data sets demonstrate the effectiveness of MSMTFL in comparison with the state of the art multi-task sparse feature learning algorithms.

关键词： Learning learning algorithms Non-Convex Biomedical informatics Theoretical analysis Parameter estimation images computer vision state of the art Dataset Convexity Religious Missions SYNTHETICS

来源：评论

学校读者我要写书评

暂无评论

Distributing Power Grid State Estimation on HPC Clusters - A System Architecture Prototype

Distributing Power Grid State Estimation on HPC Clusters - A...

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Yan Liu Wei Jiang Shuangshuang Jin Mark Rice Yousu Chen Data Intensive Computing Group Pacific Northwest National Laboratory Richland WA USA Department of Computer Science and Engineering Ohio State University Columbus OH USA Electrical Power Systems Engergy Pacific Northwest National Laboratory Richland WA USA

ISBN: (纸本)9781467309745

The future power grid is expected to further expand with highly distributed energy sources and smart loads. The increased size and complexity lead to increased burden on existing computational resources in energy control centers. Thus the need to perform real-time assessment on such systems entails efficient means to distribute centralized functions such as state estimation in the power system. In this paper, we present our experience of prototyping a system architecture that connects distributed state estimators individually running parallel programs to solve non-linear estimation procedure. Through our experience, we highlight the needs of integrating the distributed state estimation algorithm with efficient partition and data communication tools so that distributed state estimation has low overhead compared to the centralized solution. We build a test case based on the IEEE 118 bus system and partition the state estimation of the whole system model to available HPC clusters. The measurement from the test bed demonstrates the low overhead of our solution.

关键词： State estimation computer architecture Size measurement Distributed databases Power grids Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

A Recursive Local Linear Estimator for Identification of Nonlinear ARX systems *

引用

IFAC Proceedings Volumes 2012年第16期45卷 1517-1522页

作者： Wen-Xiao Zhao Wei Xing Zheng Er-Wei Bai Key Laboratory of Systems and Control Academy of Mathematics and Systems Science CAS Beijing P. R. China National Center for Mathematics and Interdisciplinary Sciences CAS Beijing P. R. China School of Computing Engineering and Mathematics University of Western Sydney Penrith NSW 2751 Australia Department of Electrical and Computer Engineering University of Iowa Iowa City IA 52242 USA

In this work, we propose a recursive local linear estimator (RLLE) for identification of nonlinear autoregressive systems with exogenous inputs, along with an analysis of its strong consistency and asymptotical mean s... 详细信息

关键词： Nonlinear ARX systems recursive identification local linear estimator almost sure convergence

来源：评论

学校读者我要写书评

暂无评论

Model-driven tenant development for PaaS-based SaaS

Model-driven tenant development for PaaS-based SaaS

引用

IEEE International Conference on Cloud computing Technology and science (CloudCom)

作者： Wei-Tek Tsai Wu Li Babak Esmaeili Wenjun Wu Department of Computer Science and Technology INLIST Tsinghua University Beijing China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ USA State Key Laboratory of Software Development Environment Beihang University Beijing China

This paper proposes key SaaS (Software-as-a-Service) design strategies for those SaaS systems that run on top of a commercial PaaS (Platform-as-a-Service) system such as GAE (Google App Engine)[1]. Specifically, this paper proposes a model-based approach for customization, multi-tenancy architecture, scalability, and redundancy & recovery techniques for GAE. The ACDATER (Actors, Conditions, Data, Actions, Timing, Events, and Relationship) model is used for various features, and then automated code generation is used to generate code based on the model specified. Simulation can be performed to ensure correctness before deployment.

关键词： Software as a service Databases Computational modeling Scalability Reliability Data models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：