844 search results - page 20 / 169 » Reachability in Linear Dynamical Systems |
100
click to vote
ICCV
2007
IEEE
16 years 20 days ago
2007
IEEE
Boosting is a remarkably simple and flexible classification algorithm with widespread applications in computer vision. However, the application of boosting to nonEuclidean, infini...
100
click to vote
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
CAV
2008
Springer
15 years 22 days ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
118
click to vote
CSL
2008
Springer
15 years 15 days ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...