Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 13 of 13 for “"predicados"”.
-
Inducción de conocimiento con incertidumbre en bases de datos relacionales borrosas
… se combina, en estas definiciones, la lógica de predicados con la lógica borrosa, en lo que podemos denominar "lógica borrosa de predicados", lo que constituye una aportación dentro de la inducción automática de conocimiento. Además, las definiciones inducidas llevan asociado un factor de …
-
Poly-controlled partial evaluation and its application to resource-aware program specialization
… el cual agrupa versiones equivalentes de predicados. Este paso se puede aplicar en la especialización de cualquier programa Prolog, inclusive aquellos que contienen llamadas a predicados predefinidos o predicados externos. Además, ofrecemos la posibilidad de agrupar versiones que no sean …
-
Una interpretación lógico-algebraica de la semántica de la programación
… de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados
-
Posibilidades y límites de la investigación lingüística: el caso de la fraseología
… en los estudios: locuciones, colocaciones, predicados de verbo "soporte". La tesis, verdaderamente reflexiva y crítica, tiene su objeto, no tanto en el ser de estas categorías (que precisamente cuestiona), sino en la misma "categorialidad" ejercida sobre la lengua en su dimensión sistemática …
-
Uma Proposta de especificação formal e fundamentação teórica para simulated annealing
… Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa …
-
Propuesta de incorporación de las restricciones léxicas en los contornos de las definiciones de verbos y adjetivos en un diccionario semasiológico de español
… se ponen de manifiesto en las relaciones entre predicados y argumentos. Para ello, el autor utiliza la noción de clase léxica, la cual remite a agrupaciones conceptuales de los argumentos según un rasgo semántico común. Éstas, además, permiten dar cuenta de los usos físicos y figurados de las …
-
Un marco unificado para análisis de recursos y tiempo de ejecución, validación dinámica y pruebas unitarias = a Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing
… valor de dichos recursos en las cabezas de los predicados o en la preparación de un literal en el cuerpo de dichos predicados. En este caso, el analizador usa una función de coste definida en la aserción para actualizar el uso del recurso mientras se analizan las cabezas de las cláusulas o los …
-
Una contribución al desarrollo de las Tkm-álgebras
… como un modelo algebraico para el cálculo de predicados monádicos de la lógica clásica. Estas álgebras han sido ampliamente estudiadas por varios autores ([1], [24]) y en la actualidad se siguen realizando investigaciones en esta dirección ([4], [12], [37]). Por otra parte, Gr. C. Moisil …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
… en: Un compilador optimizante de Prolog, donde predicados seleccionados son compilados a C y diseñado para aceptar información de alto nivel, obtenida mediante análisis automático y expresada en un lenguaje estandarizado de aserciones. Un enfoce automático a la generación de máquinas abstractas, …
-
Una interpretación algebraica de la verificación de sistemas basados en el conocimiento
… de la detección de inconsistencias en lógica de predicados. Se han superado limitaciones y restricciones impuestas por otros métodos de Verificación existentes hasta la fecha. En este sentido cabe destacar que se han contemplado los Sistemas Basados en el Conocimiento que razonan con conocimiento …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… las facilidades de la lógica (funciones, predicados e igualdad), permitiendo a sus usuarios usarlas separadamente o mezclarlas de la forma más apropiada para una aplicación en particular. En esta tesis se presenta y estudia el lenguaje de programación experimental BABEL, designado para …
-
Contribución al estudio del razonamiento ordinario y la computación con palabras
El trabajo es una contribución al desarrollo de los modelos de Conjeturas, Hipótesis y Consecuencias (Modelos CHC), como encargados de formalizar el razonamiento ordinario o de sentido común. La mayor aportación de este trabajo es la introducción de la posibilidad de manejar la imprecisión típica …
-
Finite bases for semigroup varieties
… álgebras definida por um conjunto de fórmulas em predicados de primeira ordem. A operação no sentido inverso também está acessível. O site disponibiliza um conjunto de informações e funcionalidades sobre variedades e as suas bases de identidades, como apresentar todas as inclusões entre as …