搜索资源列表
FormalFormalRequirementsforVirtualizableThirdGener
- 这是Gerald J. Popek在1974年发表的虚拟化奠基性论文Formal Requirements for Virtualizable Third Generation Architectures-Gerald J. Popek Formal Requirements for Virtualizable Third Generation Architectures ACM
Ontology1.ppt
- Ontology1.ppt.rarStuder 等人的 Ontology 定义包含四层含义：概念模型(Conceptualization)、明确(Explicit)、形式化(Formal)和共享(Share)。“-Natural Language Processing (NLP) addresses the problems of automated understanding and generation of natural human languages. The former ident
123123ggu
- 为了先取得账号上传的文件，正式的我以后会补-In order to obtain account to upload files, will I make a formal
[GUAR98]
- Formal Ontology and Information Systems
CANAL
- In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.It is a member of the family of mathematical theories of concurrency known as process algebras, or process
A_Formal_Model_and_Specification_Language_for_Pro
- Procedure calling conventions are used to provide uniform procedure- call interfaces. Applications, such as compilers and debuggers, which generate, or process procedures at the machinelanguage abstraction level require knowledge of the calling
1-s2.0-S0026269208002085-main
- Formal verification of analog and mixed signal designs A survey
gainiange
- 概念格的构造问题是形式概念分析应用的前提。由于概念格的时空复杂度随着形式背景的增大而可能指数性的增大，有关概念格的生成问题一直是形式概念分析应用研究的一个重点。国内外的学者和研究人员对此进行了深入的研究，提出了一些有效的算法来生成概念格，这些算法一般可分为两类：批生成算法(Batch Algorithm)和渐进式生成算法(Incremental Algorithm )。。 -Concept lattice structure problem is the premise formal con