Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification of » modification of (Expandir a busca), identification of (Expandir a busca), qualification of (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification of » modification of (Expandir a busca), identification of (Expandir a busca), qualification of (Expandir a busca)
2
“... 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
5
Assuntos:
“...[en] FORMAL VERIFICATION...”
[pt] ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Tese
6
“... to investigate supervised machine-learning algorithms for event classification. The quality of labels is thus...”
Visual Analytics to Assist Event Labelling Verification in Soundscape Ecology
Dissertação
7
Assuntos:
“...User verification...”
An investigation of biometric-based user predictability in the online game League of Legends
Dissertação
8
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
9
10
Assuntos:
“...Computer algorithms...”
A ideia principal de um texto acadêmico: um meio para descrever tendências semânticas
Tese
11
“... 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
12
Assuntos:
“...[en] MEASUREMENT AND VERIFICATION...”
[en] INTELLIGENT ENERGY SYSTEM DIAGNOSTICS AND ANALYSIS OF INVESTMENTS IN ENERGY EFFICIENCY PROJECTS MANAGED BY DEMAND SIDE
Tese
13
Assuntos:
“...Emotion verification...”
Análise de sinais de voz para reconhecimento de emoções.
Dissertação
14
15
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
16
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
17
Assuntos:
“...Crystals-kyber (Cryptographic algorithms)...”
Implementação em Software dos Algoritmos Pós-Quânticos Kyber e Dilithium na Plataforma ARMv8
Dissertação
18
Assuntos:
“...Authenticity verification...”
MARDI: Marca d'água Digital Robusta via Decomposição de Imagens : uma proposta para aumentar a robustez de técnicas de marca d'água digital
Tese
19
Assuntos:
“...Algorithms...”
Securetrade: a secure protocol based on transferable E-cash for exchanging cards in P2P trading card games.
Dissertação
20
Assuntos:
“...Algorithms...”
Mapas conceituais e os conceitos da disciplina de algoritmos: uma aplicação para a aprendizagem significativa
Dissertação