Algoritmos Para Analise Sintatica
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Modelo para programação visual de matrizes (MVM): uma nova abordagem para visualização, manipulação e programação de algoritmos matriciais.
Para muitos usuários, a programação visual é uma alternativa atrativa às linguagens de programação textuais. Uma das razões para esta atração é que a representação visual de um problema está muito mais próxima com a forma pela qual a solução é obtida ou entendida se comparada à representação textual. Este trabalho apresenta um modelo par
Campinas: Embrapa Informática Agropecuária. Publicado em: 2011
-
2. Analise e comparação qualitativa de sistemas de detecção de plagio em tarefas de programação / Qualitative analysis and comparison of plagiarism detection systems on programming coursework
Plágio em submissões de alunos e um problema que vem aumentando ao longo do tempo e instituições de ensino têm trabalho considerável para eliminá-lo. Examinamos o problema do ponto de vista de submissões de alunos em disciplinas introdutórias de programação, fazendo um resumo de alguns sistemas e algoritmos existentes. Implementamos vários algori
Publicado em: 2007
-
3. Identificação de nomes ativos em agentes-π baseada em tipos
Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algo
Publicado em: 2007
-
4. TÃcnicas de parsing para gramÃtica livre de contexto lexicalizada da lÃngua portuguesa.
Este trabalho apresenta algoritmos de reconhecimento e parsing para um subconjunto da GramÃtica Livre de Contexto Lexicalizada (GLCL) da lÃngua portuguesa. A GLCL apresentada neste trabalho estende o domÃnio de localidade de uma GramÃtica Livre de Contexto (GLC) do portuguÃs fazendo com que um item lexical (sÃmbolo terminal das gramÃticas formais) apa
Publicado em: 2004
-
5. GeraÃÃo de imagens SAR escalonadas com o algoritmo "chirp scaling".
Neste trabalho à feita a anÃlise da expansÃo e contraÃÃo de imagens SAR realizada pelo algoritmo de sÃntese de imagens denominado Chirp Scaling. O processo de mudanÃa de escala da imagem SAR pode ser utilizado, por exemplo, para o registro de imagens visando a sua utilizaÃÃo nos processos de interferometria e no calculo da coerÃncia entre imagens.
Publicado em: 2004