4693 search results - page 517 / 939 » Verifying Hybrid Systems |
190
click to vote
AHS
2006
IEEE
16 years 1 months ago
2006
IEEE
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...
186
click to vote
SPAA
2005
ACM
16 years 17 days ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
152
click to vote
ECAI
2004
Springer
16 years 12 days ago
2004
Springer
Recent studies have argued that natural vision systems perform classification by utilizing different mechanisms depending on the visual input. In this paper we present a hybrid, ...
217
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
162
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...