Buscas alternativas:
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification system » certification systems (Expandir a busca), notification system (Expandir a busca), identification system (Expandir a busca)
algorithms verification » algorithms identification (Expandir a busca), algorithms classification (Expandir a busca), algorithms vectorization (Expandir a busca)
verification system » certification systems (Expandir a busca), notification system (Expandir a busca), identification system (Expandir a busca)
2
Assuntos:
“...Data-dependent transition system...”
Automated verification of care pathways using constraint programming
Dissertação
3
Assuntos:
“...[en] MEASUREMENT AND VERIFICATION...”
[en] INTELLIGENT ENERGY SYSTEM DIAGNOSTICS AND ANALYSIS OF INVESTMENTS IN ENERGY EFFICIENCY PROJECTS MANAGED BY DEMAND SIDE
Tese
5
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
6
7
Assuntos:
“...Emotion verification...”
Análise de sinais de voz para reconhecimento de emoções.
Dissertação
8
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
9
Assuntos:
“...Validation and Verification...”
Estratégias para controlar o tamanho da suíte de teste gerada a partir de abordagens MBT.
Tese
10
Assuntos:
“...Real-time system...”
Modelagem de relações entre tarefas usando interfaces gráficas aplicada em sistemas de tempo-real
Dissertação
11
Assuntos:
“...Genetic algorithms...”
Vericação funcional de sistemas digitais utilizando algoritmos genéticos na geração de dados aplicada a metodologia veriSC
Dissertação
12
Assuntos:
“...Discrete-event system control...”
Signal-Interpreted Coloured Petri Nets: a modelling tool framework for implementation of feedback-based control of discrete event systems
Tese
13
14
Assuntos:
“...Embedded algorithms...”
Plataforma de estudo para determinação de conectividade cerebral embarcada e em tempo real.
Dissertação
15
Assuntos:
“...Data verification...”
Serviços de validação de dados cadastrais e biométricos a partir do caso “Datavalid”
Dissertação
16
Assuntos:
“...Computer - System security...”
Um modelo discricionário de delegação e revogação
Dissertação
17
Assuntos:
“...Algorithms...”
Desenvolvimento de um sistema distribuído de identificação em tempo real de parâmetros de qualidade de energia elétrica
Dissertação
18
Assuntos:
“...Graph transition system...”
Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE
Dissertação
19
Assuntos:
“...Electrical power system...”
Sistema híbrido inteligente para o monitoramento e proteção de transformadores de potência
Tese