Mostrando 1 - 20 resultados de 50 para a busca 'algorithms verification problem', tempo de busca: 0,18s

2

... in an online or a batch fashion, since this problem domain does not have real-time requirements. Regardless the...

Batch algorithms and fixed prediction rates for online Just-In-Time Software Defect Prediction

Publicado em 2021
Dissertação

3

Assuntos: ...Emotion verification...

Análise de sinais de voz para reconhecimento de emoções.

Publicado em 2014
Dissertação

5

10

...Todo programador ou engenheiro de software lida com um problema crônico na concepção...

Verificação distribuída de modelos: investigando o uso de grades computacionais.

Publicado em 2007
Dissertação

11

...Todo programador ou engenheiro de software lida com um problema crônico na concepção...

Verificação distribuída de modelos: investigando o uso de grades computacionais.

Publicado em 2007
Dissertação

12

...O processo de otimização exige uma formulação matemática do sistema ou problema a ser otimizado...

Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT

Publicado em 2019
Dissertação

13

... satisfactory results. However, fingerprint recognition is still an open problem, since false acceptance and...

Novo algoritmo de segmentação e realce de imagens de impressões digitais

Publicado em 2018
Dissertação

14

.... Como o problema de gerenciamento da cadeia de suprimentos apresenta uma estrutura recursiva, torna-se ainda...

Planejamento integrado da cadeia de suprimentos da indústria do petróleo baseado em agentes holônicos.

Publicado em 2013
Tese

15

...The graph isomorphism is a classical problem in Graph Theory, which consists of determining...

Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE

Publicado em 2016
Dissertação

16

... de baixo custo. No entanto, o reconhecimento de impressões digitais ainda é um problema com lacunas...

Métodos para extração de atributos em imagens de impressão digital.

Publicado em 2019
Tese

17

... para problemas clássicos, o que nos permite alargar as fronteiras da computação em aspectos teóricos...

Caminhada quântica escalonada em grade hexagonal

Publicado em 2018
Tese

18

...O presente trabalho aborda os estudos desenvolvidos na teoria de conectividade. O problema...

Estimabilidade em delineamentos desconexos

Publicado em 1990
Dissertação

19

..., a integração de sistemas, a complexidade e o aumento do requisito de confiabilidade tornam diversos problemas...

Estudo dos efeitos da sincronização sobre o transitório e a estabilidade de sistemas de controle por rede

Publicado em 2015
Tese

20

... it is possible to let the programmer free to care about the description (specification) of the problem...

Program synthesis from denotational semantics

Publicado em 2016
Dissertação