Buscas alternativas:
partial recursive » parcial recursiva (Expandir a busca), sparsity recursive (Expandir a busca), partial recording (Expandir a busca)
based programming » user programming (Expandir a busca), and programming (Expandir a busca), math programming (Expandir a busca)
recursive based » recursive fast (Expandir a busca), recursiva baseados (Expandir a busca)
partial recursive » parcial recursiva (Expandir a busca), sparsity recursive (Expandir a busca), partial recording (Expandir a busca)
based programming » user programming (Expandir a busca), and programming (Expandir a busca), math programming (Expandir a busca)
recursive based » recursive fast (Expandir a busca), recursiva baseados (Expandir a busca)
1
Assuntos:
“...Recursive filters...”
An efficient GPU-based implementation of recursive linear filters and its application to realistic real-time re-synthesis for interactive virtual worlds
Dissertação
2
“... based on the analysis of a partial backtracking tree. The second part of this work generalizes the ideas...”
GPU-based backtracking strategies for solving permutation combinatorial problems
Tese
3
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese