Verificacao Automatica
Mostrando 37-48 de 51 artigos, teses e dissertações.
-
37. CICLOS DE FORMAÇÃO E DESENVOLVIMENTO HUMANO A PROPOSTA OFICIAL E SUA EFETIVAÇÃO EM DUAS ESCOLAS DA REDE MUNICIPAL DE ENSINO DE GOIÂNIA
O presente estudo teve por objetivo a investigação do sistema de ensino organizado por Ciclos de Formação e Desenvolvimento Humano em duas escolas da Rede Municipal de Goiânia, verificando a correlação entre a concepção de ensino e aprendizagem assumida pelas professoras e as atividades que realizam em sala de aula. A suposição básica foi de que
Publicado em: 2005
-
38. An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents
A flexibilidade de modelos de autoria de alto nível (tais como o de SMIL 2.0) para a edição de Documentos Multimídia Interativos complexos pode levar os autores, em certos casos, a especificar relações de sincronização que não podem ser satisfeitas durante a apresentação do documento, caracterizando a ocorrência de inconsistências temporais. Por
Journal of the Brazilian Computer Society. Publicado em: 2004-04
-
39. Logica modal aplicada a verificação de sistemas a eventos discretos
This works is a study on the verification of specification in discrete event dynamicsystemsthroughthe use of modallogic. TimedEvent Graphs(TEG)describedby its eqmtions in dioids are used to model the systemwhose propertiesshouldbe verified. NK modallogic formulasexpressthe dynamicsof the systemas well as the specificationto be verified. An Analytic Tableau i
Publicado em: 2004
-
40. Contribuições para verificação automática de applets javacard
O grande crescimento do uso de smart cards (por bancos, companhias de transporte, celulares, etc) trouxe um fato importante, que deve ser considerado: a necessidade de ferramentas que possam ser usadas para verificar os cartões, para que se possa garantir a corretude de seu software. Como a grande maioria dos cartões desenvolvidos hoje em dia usa a t
Publicado em: 2004
-
41. Análise de assinaturas manuscritas baseada nos princípios da grafoscopia
A verificação automática de assinaturas estáticas ou off-line trata especificamente de um problema em aberto devido a fatores como a variação entre assinaturas do mesmo autor, à semelhança entre a escrita de autores diferentes, além dos diversos tipos de falsificações. A abordagem proposta nesta dissertação par resolver este problema baseia-se n
Publicado em: 2004
-
42. GLOSSARY OF COMPOUND TERMS IN CARDIOLOGY: A PROPOSAL OF DEVELOPMENT / GLOSSÁRIO DE TERMOS COMPOSTOS EM CARDIOLOGIA: UMA PROPOSTA DE ELABORAÇÃO
O objetivo desta pesquisa foi elaborar um glossário português-inglês de termos compostos em cardiologia, com o auxílio de ferramentas eletrônicas de processamento de corpus baseadas em tecnologia de orientação automática. A motivação surgiu da verificação da escassez de material de consulta para tradutores e intérpretes na área médica em líng
Publicado em: 2004
-
43. AUTOMATIC ANALISYS OF ELECTROCARDIOGRAPHIC SIGNALS USING ARTIFICIAL NEURAL NETWORKS / ANÁLISE AUTOMÁTICA DE SINAIS ELETROCARDIOGRÁFICOS POR REDES NEURAIS ARTIFICIAIS
O objetivo dessa dissertação é o desenvolvimento de um algoritmo para a análise automática de sinais eletrocardiográficos, baseado em Redes Neurais Artificiais. O sistema é dividido em vários sub- programas utilizados para extrair informações do registro eletrocardiográfico de pacientes, informando a existência de anormalidades a partir da compar
Publicado em: 2004
-
44. A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos
Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os e
Publicado em: 2004
-
45. Mapas auto-organizáveis na análise exploratória de dados geoespaciais multivariados / Self-organizing maps in the exploratory analysis of multivariate geospatial data
Os Mapas Auto-Organizáveis têm sido aplicados, com sucesso, em variados problemas de análise exploratória de dados multivariados, todavia, poucos são os trabalhos voltados para a análise de dados coletados para unidades espaciais definidas, como os dados produzidos por censos demográficos, aqui chamados genericamente por dados geoespaciais. Este traba
Publicado em: 2004
-
46. COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANA / COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY
Consideramos duas formas de complexidade em geometria euclidiana plana.Na primeira, problemas são descritos algebricamente, e a complexidade é cotada essencialmente pelo grau de um polinômio. Como consequência, mostramos que vários resultados gerais e familiares em geometria podem ser demonstrados a partir da simples verificação de dois ou três casos
Publicado em: 2002
-
47. Um sistema biometrico de identificação pessoal via internet com enfase em assinaturas estaticas
Neste trabalho foi implementada uma plataforma que permite o cadastramento, consulta e autenticação automática de identidade via rede internet. A identificação pessoal pode ser feita através de diferentes métodos biométricos. Cada um desses métodos biométricos podem ser adicionados à plataforma através de módulos de identificação. Um módulo d
Publicado em: 2000
-
48. Um sistema paraconsistente para verificação automática de assinaturas manuscritas
Informação inconsistentes em bases de dados podem prejudicar acentuadamente a performance de algoritmos de Aprendizado de máquina. Neste trabalho estendeu-se o algoritmo de Árvore de Decisão de forma a permití-lo manipular de maneira mais adequada exemplos inconsistentes, tornando o algoritmo menos sensível ao problema de dados conflitantes. O sistema
Publicado em: 1999