4693 search results - page 232 / 939 » Verifying Hybrid Systems |
171
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...
163
click to vote
HCI
2009
15 years 4 months ago
2009
We have developed a system which enables us to track participant-observers accurately in a large area for the purpose of immersing them in a mixed reality environment. This system ...
184
click to vote
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
157
click to vote
IJRR
2008
15 years 6 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
178
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...