Theorem Prover
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
2. Busca meta-heurÃstica para resoluÃÃo de CSP em teste de software
The meta-heuristic search algorithms have been researched in several domains, including in constraint satisfaction problem. Due to its good adaptability to be used in problems where the actual solution is unknown, they are applied in innumerous contexts. The evolutive algorithms are a search algorithm family that simulates the nature behavior. The constraint
Publicado em: 2009
-
3. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
4. "Um provador de teoremas multi-estratégia" / A Multi-Strategy Tableau Prover
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teorema
Publicado em: 2007
-
5. Sistema especialista para apoio à perícias médicas para autorização de procedimento cirúrgico para tratamento de obesidade mórbida
Atualmente, a autorização da realização de cirurgias para o tratamento de Obesidade Mórbida, deve ser precedida por exame pericial médica, ou seja, exame documental e clínico, realizado por médico perito. Doença que acomete mais de 10% da população brasileira, conforme pesquisa divulgada pelo Instituto Brasileiro de Geografia e Estatística, reali
Publicado em: 2005
-
6. Um sistema hibrido para o processamento de linguagem natural e para a recuperação da informação
We present a system to analyse a set of assertions, to introduce the analysed assertions into a knowledge base and to retrieve informationfrom it. These assertions are requirements specified by the system engineer. They correspond to a particular type of sentences in Natural Language referring to Space Science context. The assertions are stored in the Knowle
Publicado em: 1995