Buscas alternativas:
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking problem » packing problem (Expandir a busca), picking problem (Expandir a busca), scheduling problem (Expandir a busca)
problem solution » problem resolution (Expandir a busca), problem situation (Expandir a busca), problem situations (Expandir a busca)
algorithm linear » algorithms linear (Expandir a busca), algorithm binary (Expandir a busca), algorithms library (Expandir a busca)
linear method » linear methods (Expandir a busca), line method (Expandir a busca), linear metodo (Expandir a busca)
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking problem » packing problem (Expandir a busca), picking problem (Expandir a busca), scheduling problem (Expandir a busca)
problem solution » problem resolution (Expandir a busca), problem situation (Expandir a busca), problem situations (Expandir a busca)
algorithm linear » algorithms linear (Expandir a busca), algorithm binary (Expandir a busca), algorithms library (Expandir a busca)
linear method » linear methods (Expandir a busca), line method (Expandir a busca), linear metodo (Expandir a busca)
1
Assuntos:
“...Programação linear inteira...”
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Dissertação
2
3
“... of weld bead inspection robots. This problem is solved by the development of a method for the...”
Reconhecimento de cordões de solda para a inspeção automatizada de vasos separadores
Dissertação
4
“... aperfeiçoado. Limites superiores para o tempo de execução na solução de problemas nominais de verificação...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese