77 search results - page 3 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
ESANN
2004
13 years 6 months ago
2004
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
CDC
2009
IEEE
13 years 6 months ago
2009
IEEE
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
CVPR
2000
IEEE
14 years 7 months ago
2000
IEEE
Classifying an unknown input is a fundamental problem in Pattern Recognition. One standard method is finding its nearest neighbors in a reference set. It would be very time consum...
AUTOMATICA
2005
13 years 4 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...