工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 自动机理论 可计算性理论 计算机可靠性理论 算法理论 数据结构 数据安全与计算机安全 计算机科学技术基础学科其他学科
搜索结果: 1-12 共查到计算机科学技术基础学科 framework相关记录12条 . 查询时间(0.192 秒)
The Grobner basis for a zero-dimensional polynomial ideal comprises a univariate polynomial in the least variable. The elimination process in Buchberger's algorithm unnecessarily involves the least va...
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
The process of design and development of virtual environments can be supported by tools and frameworks, to save time in technical aspects and focusing on the content. In this paper we present an acade...
Mobile computing is one of the recent growing fields in the area of wireless networking. The recent standardization efforts accomplished in Web services, with their XML-based formats for registration/...
A web smart space is an intelligent environment which has additional capability of searching the information smartly and efficiently. New advancements like dynamic web contents generation has increase...
We present a novel mesh-free scheme for solving partial differential equations. We first derive a conservative and stable formulation of mesh-free first derivatives. We then show tha...
Despite the continuous improvement of technology, generation of high-quality meshes around complicated geometry remains a time consuming and even laborious task. In this paper, we propose a semi-meshl...
The deterioration of civil infrastructure due to ageing, altered requirements, excessive loading or inadequate maintenance underpins the urgent need for reliable and cost-effective monitoring systems....
Many machine learning problems involve dealing with a large amount of high-dimensional data across diverse domains. In addition, annotating or labeling the data is expensive as it involves significant...
Visualizing the global data smoothly is a challenge to the present software and network technology, such as simulating global weather phenomena or global geological environment. In this paper, we de...
Radio Frequency Identification (RFID) technology provides new and exciting opportunities for increasing organiza- tional, financial, and operational performance. With its focus on organizational effic...
Information is the glue in any organization. It is needed for policy, decision-making, control, and co-ordination. If an organisation's information systems are disrupted or destroyed, then damage to t...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...