Buscar
Mostrando ítems 31-40 de 1909
A formal library of set relations and its application to synchronous languages
(Elsevier B.V., 2011)
Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ...
UML 2.0 interactions with OCL/RT constraints
(UR. FI-INCO,, 2007)
The use of formal methods at early stages of software development contributes to the reliability and robustness of the system to be constructed. Int his context, real-time system development benefits from the construction ...
Semântica computacional com Wordnet
(2016-07)
Mathematical and computational studies of natural language has been advancing largely in the last decades, prompted by development on techniques and by practical applications. The semantical side is no exception, being ...
Estrutura e interpretação de situações-problema em matemática: uma análise baseada na semântica formal
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Linguística - PPGLCâmpus São Carlos, 2019-06-25)
This dissertation investigates the difficulty of interpreting mathematical story problems, considering the semantic relations established between the natural language in statements and the meaning in the mathematical ...
Um estudo de caso sobre aquisição do conhecimento em ontologias: validação de conhecimento especializado a partir de linguagens naturais controladas
(Universidade Federal de Minas GeraisBrasilECI - ESCOLA DE CIENCIA DA INFORMAÇÃOPrograma de Pós-Graduação em Gestão e Organização do ConhecimentoUFMG, 2021-02-24)
Knowledge Acquisition is an important, but not studied, stage in the process of constructing ontologies. It constitutes a gap in the understanding by domain experts and even information professionals. Natural language is ...
The formalization and implementation of Adaptable Parsing Expression Grammars
(Science of Computer Programming, 2018)
A metáfora e a sua representação em sistemas de processamento automático de línguas naturais
(Universidade Estadual Paulista (UNESP), 2014)
Expressão nominal massiva e contável em português brasileiro
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Linguística - PPGLCâmpus São Carlos, 2018-02-23)
The objective of this research is to analyse and describe the behavior of nominal expressions in Brazilian Portuguese (BrP) concerning the mass—count distinction. Based on a selection in the literature of psycholinguistic ...