搜索结果: 1-11 共查到“工学 Abstraction”相关记录11条 . 查询时间(0.515 秒)
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
福建师范大学软件学院计算机系统概论课件 Data Abstraction。
LEVELS OF ABSTRACTION IN TEXTUAL REPRESENTATIONS OF GEOINFORMATION–EXAMPLE:CADASTRAL DESCRIPTIONS IN BRAZIL
abstraction textual representation of spatial information cadastre hierarchical modelling transformation uncertainty
2015/8/17
Transformations between textual descriptions of spatial information and other types of representation, e.g. maps, require a deep understanding of the actual information given in the texts. The level o...
From Computing Machineries to Cloud Computing:The Minimal Levels of Abstraction of Inforgs through History
Computing Machineries Cloud Computing Minimal Levels
2015/7/22
Before the modern computing era, the word `computers' referred to human beings as living calculators---in fact, still Turing (1950) proposed his test for A.I. referring to `computing machinery', not `...
The Minimal Levels of Abstraction in the History of Modern Computing
Epistemological levellism Constructive levellism Philosophy of In- formation Computational interconnected informational organisms
2015/7/10
From the advent of general-purpose, Turing-complete machines, the relation between operators, programmers, and users with computers can be seen in terms of interconnected informational organisms (info...
Research on The Three-dimensional Abstraction and Description of Reality
Abstraction Building, Database City Reconstruction
2015/7/6
The method of how to abstract reality into a two-dimensional map is already mature, but with the development of three-dimensional
GIS, we have to be up against the problem how to describe the reality...
Delay-based Bandwidth-aware Topology Abstraction Scheme for OIF E-NNI Multi-domain Routing
Fiber optics optical communications Networks circuit-switched
2015/6/5
An abstraction scheme for delay-based metric advertisement of virtual intra-domain links is proposed for multi-domain traffic engineering. The scheme guarantees an effective combination of blocking pr...
Form and Space Abstraction in Architectural Rehabilitation of Industrial Buildings
architectural rehabilitation form abstracting industrial buildings
2010/8/18
In classical art, form was considered to be reproduced in the most faithful way, representing a naturalistic reality. On the other hand, contemporary art strive to achieve its value by abstraction, an...
From Documents to User Interfaces Universal Design and the Emergence of Abstraction
User Interfaces Universal Design Emergence Abstraction
2009/12/8
representations of content which allow it to be automatically adapted to suit the delivery context, have emerged historically with the development of markup languages intended to facilitate the storag...
Abstraction and control techniques for non-stationary scheduling problems
non-stationary scheduling heuristic approaches
2010/4/6
The paper faces the problem of scheduling from a new perspective, trying to bridge the gap between classical heuristic approaches and system identification and control strategies. To this aim, a compl...
Semantic Hierarchical Abstraction of Web Site Structures for Web Searchers
Hierarchical abstraction web browsing site map web site abstraction directed graph semantic weights.
2014/3/12
The hierarchical abstraction of a Web site is useful in organising information and reducing the number of alternatives that must be considered at any one time when browsing the site. We present such a...