论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
This paper proposes an approach by description logic DLRBR to solve the problem which XBRL be lacking of formalism semantic,formalizes the XBRL meta-model and m
【机 构】
：
Center for Business Intelligence Research, School of Management, Jinan University, Guangzhou 510632,
【出 处】
：
2012年全国理论计算机科学学术年会(NCTCS2012)
【发表日期】
：
2012年期
其他文献
山东省１９８８～１９９３年放射源丢失事故总结与分析王金鹏，孙积涛，丁崇海（山东省卫生防疫站，济南）随着国民经济的发展和科学技术的进步，山东省放射性同位素和射线技术在工农业、科研、医学、煤田和
从2004年宏观调控的意图来说,政府是要挤掉泡沫而不是让房市崩盘,并且随着经济的发展,房价应该还有一个很大的上升空间。但毕竟没有人能准确地预测未来,很多不确定因素会突然
随着渤海油田油气资源的开发,其修井作业量逐年增加,但个别井次投产后,产液含水量显著上升,产能恢复率急剧下降,说明作业过程中发生了严重的储层伤害.修井液大量漏失是造成储
In this paper,we investigate the classification of higher order algebraic ordinary differential equations (AODEs) with respect to (w.r.t.) their rational solvab
会议
The artificial fish can obtain the ability of self-perception,understanding and behavior choices by setting up full-order perception and behavior planning syste
会议
As Cyber-Physical Systems become more prevalent,the trustworthiness of Cyber-Physical Systems is attracting more and more attention.There are many kinds of soft
会议
For the problem that many different classification of questions and answers and users changing from one interest to another,we propose a personalized user model
会议
Decentralized information flow control models try to provide flexible mechanisms to protect private data.In those models,if it does not satisfy the labels polic
会议
Recent research has shown the effectiveness of using spatial pyramid matching (SPM) to solve many computer vision problems.However,they are weak on rotation tra
会议
α-Linear Resolution Method Based on Linguistic Truth-Valued Lattice-Valued Propositional Logic Syste
Resolution-based automated reasoning is one of important research branches in artificial intelligence.The present paper is to provide a more efficient approach
会议