ЧТО ОЗНАЧАЕТ СЛОВО FORMALIZER
Значение слова formalizer в словаре английский языка
Первое определение формализатора в словаре - это кто-то или что-то, что делает формальным. Другое определение формализатора - это кто-то или что-то, что делает что-то официальное или действительное. Формализатор также является кем-то или чем-то, что дает определенную форму или форму.
КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «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»