4693 search results - page 510 / 939 » Verifying Hybrid Systems |
180
click to vote
IJRR
2010
15 years 4 months ago
2010
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
240
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we consider a multi-agent system consisting of mobile agents with second-order dynamics. The communication network is determined by a standard interaction rule based...
175
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...
181
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
We proposea new ngerprint imagecompressionscheme based on the hybrid model of image. Our scheme uses the essential steps of a typical automated ngerprint identi cation system (AFI...
183
click to vote
HPCA
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper advocates that cache coherence protocols use a bandwidth adaptive approach to adjust to varied system configurations (e.g., number of processors) and workload behaviors...