721 search results - page 18 / 145 » Stability for Effective Algebras |
118
click to vote
CASC
2009
Springer
15 years 26 days ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
80
Voted
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Before performing drastic changes to a project, it is worthwhile to thoroughly explore the available options within the current structure of a project. An alternative to drastic c...
100
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
— Electronic image stabilizer and video codec are two important components of a digital video camera. Both require motion information of the captured image sequence to perform th...
AUTOMATICA
2000
14 years 11 months ago
2000
This paper describes a systematic procedure to exponentially stabilize relative equilibria of mechanical systems. We review the notion of relative equilibria and their stability i...