134 search results - page 6 / 27 » Finiteness Conditions for Strictness Analysis |
PAMI
1998
13 years 8 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
MCSS
2007
Springer
13 years 8 months ago
2007
Springer
The classical Matrosov theorem concludes uniform asymptotic stability of time varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semidefi...
IEEECGIV
2008
IEEE
14 years 3 months ago
2008
IEEE
The focus of this paper is to design a spur gear using an S-shaped transition curve where certain conditions need to be fulfilled such as curvature continuity, shaped parameter etc...
SIAMJO
2010
13 years 7 months ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
SIAMNUM
2010
13 years 3 months ago
2010
In this paper we develop an a posteriori error analysis of a new conforming mixed finite element method for the coupling of fluid flow with porous media flow. The flows are govern...