Search
Now showing items 1-10 of 504
A Procedure for Semantic Querying in the Adaptive Formalism
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2011)
This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the ...
Formal Semantics for Java-like Languages and Research Opportunities
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)
A transformational language for mutant description
(PERGAMON-ELSEVIER SCIENCE LTD, 2009)
Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are ...
NautiLOD: A Formal Language for the Web of Data Graph
(ACM, 2015)
The Web of Linked Data is a huge graph of distributed and interlinked datasources fueled by structured
information. This new environment calls for formal languages and tools to automatize navigation across
datasources ...
A metáfora e a sua representação em sistemas de processamento automático de línguas naturais
(Universidade Estadual Paulista (UNESP), 2006-03-14)
Este trabalho tem como proposta (i) o estudo da metáfora per se (em oposição, por exemplo, a um estudo aplicado da metáfora) da perspectiva lingüística, isto é, o estudo da metáfora enquanto uma expressão da linguagem ...
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 ...