Modelos Semanticos
Mostrando 13-24 de 35 artigos, teses e dissertações.
-
13. Verificação formal de workflows com spin / Formal workflow verification with spin
O gerenciamento de workflows é uma realidade atualmente, mas os sistemas atuais carecem de suporte à verificação de correção em modelos de workflow. Este trabalho visa a realização de verificações em processos, objetivando a detecção de erros sintáticos, como a existência de atividades mal modeladas, ou seja, sem condições de entrada ou de sa
Publicado em: 2010
-
14. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento / A type sistems for a knowledge structured representation language
A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação impo
Publicado em: 2010
-
15. Representação de conhecimento : programação em lógica e o modelo das hiperredes / Knowledge representation: logic programming and the hypernets model
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema
Publicado em: 2010
-
16. The enhancement of pragmatic competencies via listening activities
A comunicação verbal abrange a decodificação de formas linguísticas e a interpretação de significados implícitos, o que pode ocasionar problemas para aprendizes que desejem se comunicar em contextos de segunda língua. Esta dissertação apresenta um panorama de teorias pragmáticas que abordam o tema inferências e comunicação verbal, a fim de des
Publicado em: 2010
-
17. O PQS (Psychotherapy Process Q-Set) e o exame da relação entre processo e resultado na psicoterapia psicodinâmica breve
O objetivo principal da “investigação de processos” é compreender os mecanismos de ação das psicoterapias. Um dos instrumentos mais utilizados na atualidade para a avaliação do processo das psicoterapias é o Psychotherapy Process Q-Set (PQS). Esta tese teve como objetivo elaborar a versão em português do PQS e utilizá-la para avaliar a relaç�
Publicado em: 2010
-
18. S-Chart : um arcabouço para interpretação visual de gráficos / S-Chart: a framework for visual interpretation of line charts
Interpretação semântica de imagens tem se mostrado uma das fronteiras mais promissoras da área de Visão Computacional, especificamente aplicada a interpretação imagens. Nas abordagens que estão sendo propostas atualmente, conhecimento visual explicitamente modelado é utilizado com algoritmos de raciocínio simbólico combinados a algoritmos de proce
Publicado em: 2009
-
19. A study on the processing of information in the anxiety, through tasks of mandate, taking of decision and attention / Um estudo sobre o processamento de informação na ansiedade, através de tarefas de evocação, tomada de decisão e atenção.
O interesse da psicologia experimental pelo estudo da emoção e sua relação com a cognição foi, até pouco tempo, deixado em segundo plano. Recentemente, com o avanço da neurociência cognitiva, as pesquisas começaram a enfatizar, também, a investigação da relação cognição-emoção, gerando vários modelos explicativos. Mais recentemente, os te
Publicado em: 2009
-
20. Uma representação construtiva global para sistemas ordenados de segunda ordem em espaços coerentes intervalares bi-estruturados, com aplicação em matemática intervalar / A global constructive representation of second order ordered systems using bi-structured interval coherence spaces, with an application in interval mathematics
Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativament
Publicado em: 2009
-
21. As sentenças relativas com núcleo nominal nos dados de fala (Projeto Varsul) de Florianópolis
Esta dissertação tem por objetivo observar, com base em vinte e quatro entrevistas de falantes da cidade de Florianópolis-SC extraídas do corpus do VARSUL, como se realizam os três tipos de sentenças relativas com núcleo nominal do português brasileiro (PB). A sentença relativa padrão se caracteriza por apresentar na periferia esquerda um item Wh (
Publicado em: 2008
-
22. Consultando XML por meio de modelos conceituais : extensão e formalização de CXPath
Com o objetivo de realizar consultas em diferentes fontes XML,é necessário que se escreva uma consulta específica para cada fonte XML. Uma solução mais adequada é fazer uma única consulta sobre um esquema conceitual e então traduzi-la automaticamente para consultas XML para cada fonte XML específica. CXPath é uma linguagem de consulta que foi propo
Publicado em: 2007
-
23. Processo de apropriação da escrita da língua de sinais e escrita da língua portuguesa informática na educação de surdos
Ao tratarmos da Educação para Surdos, a presente dissertação insere-se no plano de discussão que envolve duas visões diferentes: uma clínica-orgânica e outra sócio cultural. Partindo destas visões, encaminhamos apontamentos da Proposta Educacional Bilíngüe postulando características que envolvem a alfabetização do Surdo, quando inserido em pad
Publicado em: 2007
-
24. UM OLHAR PARA A INTERFERÊNCIA DOS HETEROSSEMÂNTICOS NA APRENDIZAGEM DO ESPANHOL POR FALANTES NATIVOS DE PORTUGUÊS BRASILEIRO: UM ESTUDO DE CASO
O presente estudo investiga a interferência da LM na aprendizagem da LE. Para tanto, busca-se, por meio da Análise Contrastiva dos heterossemânticos presentes no português e no espanhol, classificar os heterossemânticos mais recorrentes nas amostras investigadas, por ordem de grau de interferência. Além disso, busca-se determinar indícios de homoiofo
Publicado em: 2007