3984 search results - page 530 / 797 » A Model-Driven Transformation Method |
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present an algorithm running in time O(n log n) which decides if a wreathclosed permutation class Av(B) given by its finite basis B contains a finite number of simple permutati...
154
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Nonnegative Matrix Factorization (NMF) is the problem of approximating a nonnegative matrix with the product of two low-rank nonnegative matrices and has been shown to be particul...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: In this paper, Fuzzy Logic controller is developed for ac/ac Matrix Converter. Furthermore, Total Harmonic Distortion is reduced significantly. Space Vector Algorithm is a method...