与 «FORMALIZER»相关的英语书籍
在以下的参考文献中发现
formalizer的用法。与
formalizer相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Mathematical Methods of Specification and Synthesis of ...
E.g. d fl * _ IS_ABELIAN is r-formalizer, f2 - ABELIAN isal-formalizer, f1 = _
IS_MEROMORPHIC is r-formalizer, f2 = MEROMORPHIC isal-formalizer. From
the r-formalizers of arity more than 1 we obtain ar.| — formalizers. d f1 =
_DIVIDES_ isr ...
Wolfgang Bibel, Klaus P. Jantke, 1986
2
Advanced Agent-Based Environmental Management Systems
Formalize Concept Map GTPursues ^ ^^^ Concept Map Formalizer Agent
Formalizer WFPlays^^^^ AHasMSManager ^ ^^^ AHasMSManager ^ ^^^ Parser
WFPlays^^^^ WFPlays^^^^ WFPlays^^^^ Semantic Interpreter OWL Codifier
Mental ...
Ulises Cortes Garcia, Manel Poch, 2009
3
Syntax and Semantics: A Taxonomic Approach
(1) The semantic formalizer assigns a set of meanings to the projection in the
mind of the referent, (2) the encoder assigns a set of linguistic forms to a meaning
, (3) the pronunciation rules assign a set of sound strings to a linguistic form, (4)
the ...
4
Formal Methods and Software Engineering: 13th International ...
CSP Repon v Meta-model , Meta-model ' UML ' State Diagram Model L~
Formalizer CSP Modeuer Activity Diagram Script ~ CSP-to-UML/fUML Mapping
Table FDR2 / M°de! Counter Fig. 3. Approach Architecture Initially the modeller
uses a ...
Shengchao Qin, Zongyan Qiu, 2011
5
Proceedings of the ... Annual HIMSS Conference
The formalizer is initialized from the current version of the UMLS Metathesaurus:
The formalizer makes use of the current version of the UMLS Metathesaurus
enhanced with local problem dictionaries. Among other things, the
Metathesaurus ...
6
CASCON '94: Proceedings : Integrated Solutions
Relationship Modeling Object A ndAttribute RoleOf Relationship formahzed-by :
RELATIONSHIP >++ OBJECT role-identified-by : ROLE □*♢ ID formalizer-player
: ROLE x ATTRIBUTE -** ATTRIBUTE formalized-by G relationship >— » object ...
7
Integrated solutions: proceedings
Relationship Modeling ObjectAndAttribute RoleOf Relationship formalized^by :
RELATIONSHIP «- OBJECT role_ideniified-by : ROLE -+♢ ID formalizer-player :
ROLE x ATTRIBUTE ATTRIBUTE formalized-by £ relationship >— > object dom ...
John Botsford, IBM Canada. Toronto Laboratory. Centre for Advanced Studies, 1994
8
Advances in Grid and Pervasive Computing: First ...
... model transformation interface and a transform engine to enable their
automatic mapping to the input models that GridPiAnalyzer accepts (BPEL4WS
extended for WSRF); The Pi Formalizer then automatically generates the formal
semantics ...
Yeh-Ching Chung, José E. Moreira, 2006
9
Web Information Systems and Technologies: 5th International ...
The main components of the C3R prototypes are: (i) the knowledge acquisition
module (query formalizer, ontology editor; construction project extractor); (ii) the
reasoning module (checking reasoner enabled by the CORESE engine; query ...
José Cordeiro, Joaquim Filipe, 2010
10
Recent Advances in AI Planning: 5th European Conference on ...
The formalizer agent transforms an unstructured incoming problem intoastructure
problem format using a set of attribute/value pairs. Any service agent or
formalizer can be easily added to or deleted from the network by sending a
registrar ...
Susanne Biundo, Maria Fox, 2000
包含词语«FORMALIZER»的新条目
找出国内和国际出版社所讨论的内容,以及词语
formalizer在以下新条目的上下文中是如何使用的。
Remembering Samuelson, Who Forever Fused Economics with Math
... one of the mighty trio, along with Kenneth Arrow and Milton Friedman, who dominated post-war economics, the great formalizer of the field. «New York Times, 十二月 09»