Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification problema » identification problems (Expandir a busca), qualification problems (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification problema » identification problems (Expandir a busca), qualification problems (Expandir a busca)
1
“... algorithms, we were able to find 295 problems taking less than 1 second to complete the verification on most...”
Automated verification of care pathways using constraint programming
Dissertação
2
Assuntos:
“...Biometrics, Hand Geometry, Palmprint, Genetic Algorithms, Verification, Classification...”
Classificação e Verificação Multibiométrica por Geometria da Mão e Impressão Palmar com Otimização por Algoritmos Genéticos
Dissertação
3
4
Assuntos:
“...Algorithms...”
Uma abordagem para imputação de valores faltantes em problemas de classificação hierárquica multirrótulo
Dissertação
5
“... to trust in a label of a code change. And this amount of time is known as verification latency. Another...”
Batch algorithms and fixed prediction rates for online Just-In-Time Software Defect Prediction
Dissertação
6
Assuntos:
“...Emotion verification...”
Análise de sinais de voz para reconhecimento de emoções.
Dissertação
7
Assuntos:
“...Problema MQ...”
Proposta de aprimoramento para o protocolo de assinatura digital Quartz
Dissertação
8
9
Assuntos:
“...Algorithms...”
z-NAF e clipping: two improvements for post-quantum hash-based digital signatures.
Dissertação
10
11
12
“...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.
Dissertação
13
“...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.
Dissertação
14
“...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
Dissertação
15
“... false rejection errors are still found in matching algorithms. This research aims to create new methods...”
Novo algoritmo de segmentação e realce de imagens de impressões digitais
Dissertação
16
“... IVL (Iterated Vertex Labelling) [Baroni (2012)]. GROOVE (GRaph-based Object-Oriented VErification...”
Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE
Dissertação
17
“.... 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.
Tese
18
“... bio-inspired algorithms for parameter optimization, Genetic Algorithms and Particle Swarm Optimization...”
Uma Nova Abordagem de Casamento de Impressões Digitais
Dissertação
19
“... 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.
Tese