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

Preservative translations between logical systems

作者： Shen, Yuming Ma, Yue Cao, Cungen Sui, Yuefei Wang, Ju Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences 100190 China Graduate University of Chinese Academy of Sciences 100049 China School of Computer Science and Information Engineering Guangxi Normal University 541004 China

ISBN: (纸本)3642163262

This paper investigates a subclass of translations between logical systems, called the preservative translations, which preserve the satisfiability and the unsatisfiability of formulas. The definition of preservative translation is given and connections between the preservative translation and other definitions of translations in the literature are discussed. Some properties of logical systems, such as the compactness and the decidability, which are characterized by the existence of preservative translations between logical systems are also studied. © 2010 IFIP.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Collaborative dual-PLSA: Mining distinction and commonality across multiple domains for text classification 10

Collaborative dual-PLSA: Mining distinction and commonality ...

引用

Proceedings of the 19th ACM international conference on information and knowledge management

作者： Zhuang, Fuzhen Luo, Ping Shen, Zhiyong He, Qing Xiong, Yuhong Shi, Zhongzhi Xiong, Hui Key Laboratory of Intelligent Information Processing Institute of Computing Technology CAS China Graduate University of Chinese Academy of Sciences China Hewlett Packard Labs China China Innovation Works China MSIS Department Rutgers University United States

ISBN: (纸本)9781450300995

The distribution difference among multiple data domains has been considered for the cross-domain text classification problem. In this study, we show two new observations along this line. First, the data distribution difference may come from the fact that different domains use different key words to express the same concept. Second, the association between this conceptual feature and the document class may be stable across domains. These two issues are actually the distinction and commonality across data domains. Inspired by the above observations, we propose a generative statistical model, named Collaborative Dual-PLSA (CD-PLSA), to simultaneously capture both the domain distinction and commonality among multiple domains. Different from Probabilistic Latent Semantic Analysis (PLSA) with only one latent variable, the proposed model has two latent factors y and z, corresponding to word concept and document class respectively. The shared commonality intertwines with the distinctions over multiple domains, and is also used as the bridge for knowledge transformation. We exploit an Expectation Maximization (EM) algorithm to learn this model, and also propose its distributed version to handle the situation where the data domains are geographically separated from each other. Finally, we conduct extensive experiments over hundreds of classification tasks with multiple source domains and multiple target domains to validate the superiority of the proposed CD-PLSA model over existing state-of-the-art methods of supervised and transfer learning. In particular, we show that CD-PLSA is more tolerant of distribution differences. © 2010 ACM.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Multi-agent and workflow-based web service management model

引用

作者： Niu, Wenjia Dou, Quansheng Han, Xu Yang, Xinghua Shi, Zhongzhi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences 100080 Beijing China Graduate School of the Chinese Academy of Sciences 100039 Beijing China Shandong Institute of Business and Technology 264005 Yantai China

ISBN: (纸本)3642163262

The coordination between agent service and Web service is the key factor for intelligent Web service management in the multi-agent based Web service framework. In view of the drawbacks of existing coordination approaches for agent service and Web service, this paper proposed a multi-agent and workflow-based Web service management model. Through analyzing the interaction relations between agent service and Web service in the logical action-based task environment, a uniform task view for intelligent Web service is built. And based on such task view, a workflow towards special task is designed to realize intelligent Web service discovery and cooperation and composition. This model provides a more flexible Web service management. © 2010 IFIP.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

AUTOMATIC IMAGE ANNOTATION WITH CONTINUOUS PLSA

AUTOMATIC IMAGE ANNOTATION WITH CONTINUOUS PLSA

引用

IEEE International Conference on Acoustics, Speech, and Signal processing

作者： Zhixin Li Zhiping Shi Xi Liu Zhongzhi Shi The Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9781424442959

Automatic image annotation has become an important and challenging problem due to the existence of semantic gap. In this paper, we firstly extend probabilistic latent semantic analysis (PLSA) to model continuous quantity. In addition, corresponding Expectation-Maximization (EM) algorithm is derived to determine the model parameters. Furthermore, in order to deal with the data of different modalities in terms of their characteristics, we present a semantic annotation model which employs continuous PLSA and standard PLSA to model visual features and textual words respectively. The model learns the correlation between these two modalities by an asymmetric learning approach and then it can predict semantic annotation for unseen images. We compare our approach with several state-of-the-art approaches on a standard Corel dataset. The experiment results show that our approach performs more effectively and accurately.

关键词： automatic image annotation continuous PLSA latent aspect model image retrieval image retrieval auto-marking images ANNOTATIONS AUTOMATIC Semantics model parameters

来源：评论

学校读者我要写书评

暂无评论

A NOVEL SPARSE CODING MODEL BASED ON STRUCTURAL SIMILARITY

A NOVEL SPARSE CODING MODEL BASED ON STRUCTURAL SIMILARITY

引用

IEEE International Conference on Acoustics, Speech, and Signal processing

作者： Zhiqing Li Zhiping Shi Xi Liu Zhongzhi Shi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9781424442959

Understanding and modeling the function of the neurons and neural systems are primary goal of systems neuroscience. Sparse coding theory demonstrates that the neurons in primary visual cortex form a sparse representation of natural scenes in the viewpoint of statistics. In this paper, we propose a novel sparse coding model based on structural similarity (SS_SC) for natural image feature extraction. The advantage for our model is to be able to preserve structural information from a scene, which human visual perception is highly adapted for. Using the proposed sparse coding model, the validity of image feature extraction is testified. Furthermore, compared with standard sparse coding (SC) model, the experimental results show that the quality of reconstructed images obtained by our method outperforms the SC method.

关键词： Natural image sparse coding structural similarity computational model biological visual system Sparse coding Computational modeling Visual System image feature natural scenes Feature extraction Neurons sparse representation Visual perception Striate Cortex

来源：评论

学校读者我要写书评

暂无评论

A Robust Method for License Plate Detection

A Robust Method for License Plate Detection

引用

Pacific-Rim Symposium on Image and Video technology (PSIVT)

作者： Jian Luo Su Yang Ruimin Guan Haijun Niu School of Computer Science and Technology & Shanghai Key Laboratory of Intelligent Information Processing Fudan University Shanghai China

License plate detection plays an important role in vehicle license plate recognition for intelligent transport systems. This paper presents a robust method for license plate detection. As we observed, license plate area contains rich corner points' information. The whole procedure is as follows: (1) Extract the interesting points using Harris corner detector in enhanced car image. (2) Cluster the corner points and apply outlier detection to every cluster. (3) Merge the clusters close to each other and use the gradient information to find the proper block in which the license plate area is enclosed. (4) Train a simple cascade classifier to classify the blocks into two categories: The area possibly containing license plate and those not. (5) Detect the plate region by the rectangle window. Experimental results demonstrate the robustness and the generality of our method.

关键词： Licenses Image edge detection Clustering algorithms Image color analysis Feature extraction Classification algorithms Robustness

来源：评论

学校读者我要写书评

暂无评论

Study of high-resolution range profile for monostatic MIMO radar based on SIAR

引用

Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics 2010年第4期32卷 734-739+763页

作者： Zhao, Guang-Hui Chen, Bai-Xiao Gao, Zhao-Zhao Intelligent Perception and Image Understanding Key Lab of Ministry of Education of China Xidian Univ. Xi'an 710071 China National Key Lab for Radar Signal Processing Xidian Univ. Xi'an 710071 China National Information Control Laboratory Chengdu 610036 China

Conventional pulse compression use a periodical echo of single receive antenna, which is modulated by a certain carrier-frequency, in other words, single spectrum is exploited. But for MIMO radar, as the multi-carrier-frequency signals are transmitted simultaneously, if the spectrum of the target echo after channel separation can be combined to form the whole band spectrum echo, the corresponding range resolution can improve several times as compared with the conventional method, and it will be more convenient for follow-up detection and tracking. Considering the difference between the frequency modulation band and the interval between the adjacent frequencies, the spectrum joint after channel separation will be overlapped or spaced. The methods of spectrum moving of each echo and the spectrum extrapolation with Root-MUSIC algorithm are proposed, by which high-resolution range profile of the target is obtained. Simulation results verify the validity of these methods.

关键词： Multiple signal classification

来源：评论

学校读者我要写书评

暂无评论

Semantic approach for service oriented requirements modeling

引用

作者： Zhao, Bin Cai, Guang-Jun Jin, Zhi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of the Chinese Academy of Sciences Beijing China Software Engineering Institute Peking University Beijing China

ISBN: (纸本)3642163262

Services computing is an interdisciplinary subject that devotes to bridging the gap between business services and IT services. It is recognized that Requirements Engineering is fundamental in implementing the service oriented architecture. It takes traditional RE techniques great efforts to model business requirements and search for the appropriate services. In this paper, we propose an ontological approach to facilitate the service-oriented modeling framework. The general idea is to establishing a common semantic language to describe both the business requirements and services capabilities based on their effects on the environment. After that, we used a case study to illustrate this method and showed that substantial efforts can be spared to construct a service model from business requirements. © 2010 IFIP.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Translating separation logic into a fragment of the first-order logic

Translating separation logic into a fragment of the first-or...

引用

6th International Conference on Semantics, Knowledge and Grid, SKG 2010

作者： Sui, Yuefei Shen, Yuming Cao, Cungen Wang, Ju Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University of Chinese Academy of Sciences Chinese Academy of Sciences Beijing 100039 China School of Computer Science and Information Engineering Guangxi Normal University Guilin 541004 China

ISBN: (纸本)9780769541891

Separation logic is an extension of Hoare logic for reasoning about mutable heap structure. To represent separation logic in the first-order logic, there are several choices to determine what are constants, what are predicates and quantifiers, and whether the commands are taken as atomic or composite. This paper shall give a translation of separation logic into a guarded fragment of the first-order logic, such that the translation is faithful, that is, the translation translates a consistent statement (boolean expression, assertion or specification) of separation logic into a consistent formula in the fragment of the first-order logic. By the decidability of the satisfiability problem of the guarded first-order logic, if the commands are taken as atomic in the first-order logic then the guarded first-order logic translated from separation logic is decidable, if the commands are taken as atomic/composite in the first-order logic then the first-order logic translated from separation logic is undecidable. © 2010 IEEE.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

An epipolar resticted inter-mode selection for stereoscopic video encoding

An epipolar resticted inter-mode selection for stereoscopic ...

引用

Picture Coding Symposium, PCS

作者： Guolei Yang Luhong Liang Wen Gao Peking University China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy and Sciences China

Fast stereoscopic video encoding becomes a highly desired technique because the stereoscopic video has been realizable for applications like TV broadcasting and consumer electronics. The stereoscopic video has high inter-view dependency subject to epipolar restriction, which can be used to reduce the encoding complexity. In this paper, we propose a fast inter-prediction mode selection algorithm for stereoscopic video encoding. Different from methods using disparity estimation, candidate modes are generated by sliding a window along the macro-block line restricted by the epipolar. Then the motion information is utilized to rectify the candidate modes. A selection failure handling algorithm is also proposed to preserve coding quality. The proposed algorithm is evaluated using independent H.264/AVC encoders for left and right views and can be extended to MVC. Experimental results show that encoding times of one view are reduced by 41.4% and 24.4% for HD and VGA videos respectively with little quality loss.

关键词： Encoding Prediction algorithms Algorithm design and analysis High definition video Estimation Streaming media Software algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：