4693 search results - page 206 / 939 » Verifying Hybrid Systems |
141
click to vote
KI
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
147
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
−−−−This paper describes the field trial experience on the control and coordination of an interactive videoconferencing system. The system employs ATM and Internet networks...
141
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
This report introduces a hybrid asynchronous, distributed audio/video group conferencing system. One of the chief benefits of Internet communication systems is that they allow com...
138
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
167
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...