4693 search results - page 256 / 939 » Verifying Hybrid Systems |
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...
181
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...
186
click to vote
ICC
2007
IEEE
16 years 28 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...
200
click to vote
AINA
2006
IEEE
16 years 20 days ago
2006
IEEE
Efficient service discovery in dynamic, crossorganizational VO is one of the challenge aspects in ChinaGrid. Network overlay and search algorithms are two important considerations...
160
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
It is anticipated that self assembled ultra-dense nanomemories will be more susceptible to manufacturing defects and transient faults than conventional CMOS-based memories, thus t...