1716 search results - page 56 / 344 » Proving Conditional Termination |
EDUTAINMENT
2008
Springer
13 years 10 months ago
2008
Springer
Subdivision is a convenient tool to construct objective curves and surfaces directly from given scattered points. Stationary p-subdivision schemes are highly efficient in the acqui...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
—When is optimal estimation linear? It is well-known that, in the case of a Gaussian source contaminated with Gaussian noise, a linear estimator minimizes the mean square estimat...
IPPS
1998
IEEE
14 years 29 days ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
COLT
2006
Springer
14 years 14 days ago
2006
Springer
We consider the problem of optimality, in a minimax sense, and adaptivity to the margin and to regularity in binary classification. We prove an oracle inequality, under the margin ...
AUTOMATICA
2010
13 years 8 months ago
2010
In this paper, an original result in terms of a sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is give...