Buscar
Mostrando ítems 21-30 de 1884
Buenas prácticas educativas para el aprendizaje del inglés en la enseñanza no formalBuenas prácticas educativas para el aprendizaje del inglés en la enseñanza no formal
(Escuela de Lenguas Modernas, Universidad de Costa Rica, 2014)
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 ...
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 ...
Sistemas lógicos y lenguajes formales: ¿Genuinos Artefactos Cognitivos?Logical Systems and Formal Languages: ¿Genuine Cognitive Artifacts?
(Universidad de Salamanca, 2018-12)
El lenguaje, como objeto abstracto de la práctica lingüística de hablar, tiene ciertos rasgos característicos. La lógica se ocupa de éstos. Su tarea es explicar los rasgos fundamentales que gobiernan el papel inferencial ...
Semántica estática para un lenguaje Pascal-like
(2021)
Este trabajo consiste en el diseño e implementación de un lenguaje de programación estructurado basado en el lenguaje Pascal, orientado al aprendizaje de algoritmos y estructura de datos. El mismo es utilizado actualmente ...
Formal method to implement fuzzy requirements
(Universidad Nacional de Colombia Sede Medellín, 2012)
Many user requirements may involve preference criteria linguistically expressed by fuzzy terms in natural language; these requirements are called fuzzy requirements. Database query languages have been extended incorporating ...
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEEUSA., 2009)
This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...
A translation from RSL to CSP
(Scopus, 2008)
The Raise Specification Language (RSL) is a broad spectrum modeling language which supports a wide range of specification styles. In order to apply verification techniques based on model checking to descriptions of concurrent ...
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 ...