678 search results - page 5 / 136 » The Theory of Weak Stabilization |
ECCV
1994
Springer
14 years 9 months ago
1994
Springer
Abstract. Regularization o ers a powerful framework for signal reconstruction by enforcing weak constraints through the use of stabilizers. Stabilizers are functionals measuring th...
JSYML
2002
13 years 7 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
MMAS
2010
Springer
13 years 2 months ago
2010
Springer
Mode coupling due to scattering by weak random inhomogeneities in waveguides leads to loss of coherence of wave fields at long distances of propagation. This in turn leads to serio...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we propose a systematic way of incorporating human inputs in navigation plans. The proposed controller is based on a new class of navigation function based contro...