Buscas alternativas:
algorithms specification » algorithms verification (Expandir a busca), algorithms identification (Expandir a busca), algorithms classification (Expandir a busca)
specification method » specification methods (Expandir a busca), identification method (Expandir a busca), specification to (Expandir a busca)
algorithms specification » algorithms verification (Expandir a busca), algorithms identification (Expandir a busca), algorithms classification (Expandir a busca)
specification method » specification methods (Expandir a busca), identification method (Expandir a busca), specification to (Expandir a busca)
1
Assuntos:
“...Metaheuristic algorithms...”
Otimização de pórticos de aço e amortecedores viscosos sob excitação sísmica
Dissertação
2
Assuntos:
“...Graph search algorithms...”
Conexidade fuzzy relativa em grafos dirigidos e sua aplicação em um método híbrido para segmentação interativa de imagens
Dissertação
3
Assuntos:
“...Genetic algorithms...”
Implementação de plataforma evolucionária extrínseca de circuitos eletrônicos
Dissertação
4
Assuntos:
“...Algorithms...”
Projeto de filtros digitais IIR com técnicas de computação evolucionária
Dissertação
5
“... de especificação em modelos formais DEVS (Discrete Event System Specification) para simulação estocástica, (iii...”
Exploração multiobjetivo do espaço de projeto de sistemas embarcados de tempo-real não críticos
Tese
7
“... with the need to implement algorithms considered in industrial control equipment. This methodology...”
Metodologia de projeto de automação industrial visando a conversão automática de redes de petri interpretadas em códigos implementáveis
Dissertação
8
“... of Descriptive Complexity results in the creation of algorithms from a logic specification....”
Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem
Dissertação
9
10
11
“... Specification. A acurácia do algoritmo indica a necessidade de incorporação de novos métodos baseados...”
Processamento de linguagem natural de normas técnicas da construção civil: estudo da NBR 15.575
Tese
12
13
14
“... is to provide an efficient and scalable method of checking for determinism. We use a compositional approach...”
A strategy for local analysis of determinism
Dissertação
15
16
17
19
“... datasets, which may result in products that are out of specification. On the other hand, the emergence...”
Data mining techniques applied to historical data of industrial processes as a tool to find time intervals suitable for system identification.
Dissertação
20
“... of probabilistic planning and are solved by planning algorithms. There are several probabilistic planning...”
Uma abordagem para planejamento instrucional apoiada em processos de decisão Markovianos parcialmente observáveis
Dissertação