2377 search results - page 195 / 476 » Hybrid Systems in TLA |
135
click to vote
FLAIRS
2001
15 years 8 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
185
click to vote
SIAMCOMP
1998
15 years 6 months ago
1998
We present a consensus algorithm that combines unreliable failure detection and randomization, two well-known techniques for solving consensus in asynchronous systems with crash f...
177
click to vote
JAPLL
2010
15 years 1 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
179
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
181
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
—A hybrid protocol for application level multicast (HPAM) for live video streaming without native IP multicast support is proposed. HPAM exploits the simplicity and optimality of...