6045 search results - page 1059 / 1209 » Computable Linearizations of Well-partial-orderings |
ISSE
2007
13 years 9 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
TNN
2008
13 years 9 months ago
2008
In this paper, we propose a powerful symmetric radial basis function (RBF) classifier for nonlinear detection in the so-called "overloaded" multiple-antenna-aided communi...
JCP
2007
13 years 9 months ago
2007
Abstract—This paper establishes a new coherent framework to extend the class of unitary warping operators to the case of discrete–time sequences. Providing some a priori consid...
CAGD
2005
13 years 9 months ago
2005
We propose a flexible and efficient wavelet construction for non-uniform B-spline curves and surfaces. The method allows to remove knots in arbitrary order minimizing the displace...
TROB
2008
13 years 9 months ago
2008
Abstract--This paper addresses the challenging problem of finding collision-free trajectories for many robots moving toward individual goals within a common environment. Most popul...