搜索结果: 1-15 共查到“formalization”相关记录15条 . 查询时间(0.192 秒)
Agreement with Satoshi – On the Formalization of Nakamoto Consensus
Nakamoto Consensus fulfill comparable goals
2018/5/3
The term Nakamoto consensus is generally used to refer to Bitcoin's novel consensus mechanism, by which agreement on its underlying transaction ledger is reached. It is argued that this agreement prot...
RESEARCH ON THE FORMALIZATION DESCRIPTION OF USER REQUIREMENT IN GIS DEMAND-BASED SERVICES
Formalization Description User Requirement Custom Product Generalization Map Cartography On-demand Services
2016/3/17
The formalization description of user needs is one of key issues in GIS on-demand services. A number of user demand documents is collected, the paper analyzes them in semantics and geometric aspects, ...
FORMLESS:A Day at Lima’s Office of Formalization
informality political economy urban culture
2016/1/26
In 2009–2010, a team of officials at Lima’s Office of Formalization worked to formalize (legalize) the hundreds of markets that operate informally in the downtown area of the city . To persuade busine...
Formalization and Applications of Topological Relation of Contour Lines
Topological Relation Contour Lines
2015/7/9
Formalization and Applications of Topological Relation of Contour Lines.
Labour formalization and declining inequality in Argentina and Brazil
Labour formalization declining inequality Argentina and Brazil
2014/3/20
Labour formalization and declining inequality in Argentina and Brazil。
Physical Turing Machines and the Formalization of Physical Cryptography
Physical Turing machines physical cryptography
2012/3/28
We introduce an extension of the standard Turing machine model, so-called Physical Turing machines, and apply them in a reductionist security proof for a standard scheme from physical cryptography.
Any statement can be generalized so that it becomes trivial: A simple formalization of D. K. Faddeev's belief
power of generalization trivial statements
2010/9/15
In his unpublished lectures on general algebra, a well-known algebraist D. K. Faddeev expressed a belief that every true mathematical statement can be generalized in such a way that it becomes trivial...
A Pattern Based Approach to Web Design Formalization
Pattern Web Design Formalization Based Approach
2009/7/28
World Wide Web is a global information network that affects many fields of our lives. The distributed, interlinked, visual and heterogeneous structure of the web makes it an irregular development envi...
Relational database as a basis for formalization of technological knowledge ontology
Application of information technology to the foundry industry Ontology
2011/3/31
In the paper, we present the main assumptions of ontology formulation and knowledge modeling in the form of relational database. This approach simplifies the development of knowledge mining tools whic...
Relational database as a basis for formalization of technological knowledge ontology
Application of information technology to the foundry industry Ontology
2011/3/31
In the paper, we present the main assumptions of ontology formulation and knowledge modeling in the form of relational database. This approach simplifies the development of knowledge mining tools whic...
A multi-agent system formalization in mobile environments
A multi-agent system formalization mobile environments
2010/9/10
This paper models and formalizes a mobile logic programming multi-agent system (MLPMAS) for mobile environments. Such a system consists of a number of agents connected via wire or wireless communicat...
Border Crossings: A Commentary on Henkjan Honing's "On the Growing Role of Observation, Formalization and Experimental Method in Musicology"
systematic musicology method epistemology
2010/9/26
In the early twentieth century systematic musicology, which was based
on the comparative method, played a prominent role in the discipline: however it was
appropriated by the Nazis and fell out of f...
On the Growing Role of Observation, Formalization and Experimental Method in Musicology
cognition computational empirical epistemology method musicology
2010/9/26
In the last two decades an important shift has occurred in music research,
that is, from music as an art (or art object) to music as a process in which the performer,
the listener, and music as soun...
The formalization of knowledge in agricultural industry business processes
Business architecture business resource goal process rule knowledge UML activity diagram assembly line diagram information system
2014/3/20
This article deals with the most important part of business modelling, with business process modelling. The presented process models are achieved by using common and special UML diagrams. The business...
Engineering test cases to motivate the formalization of an AEC project model as a directed acyclic graph of views and dependencies
AEC project model dependency integration automation task-specific views 3D
2010/9/28
To perform specific tasks, Architecture, Engineering, and Construction (AEC) professionals construct task-specific engineering views from information in other engineering views. Each view contains pro...