1729 search results - page 237 / 346 » Practical Temporal Projection |
170
click to vote
MFCS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
164
click to vote
HYBRID
2010
Springer
16 years 19 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
132
Voted
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
— The analytical end-to-end (e2e) performance of a wireless multihop network is largely unknown, because of the interconnections between several factors involved. Customarily, th...
171
click to vote
ICC
2008
IEEE
16 years 18 days ago
2008
IEEE
—This paper addresses the joint estimator and power optimization problem for a sensor network whose mission is to estimate an unknown parameter. We assume a two-hop network where...
170
click to vote
ICMCS
2008
IEEE
16 years 17 days ago
2008
IEEE
Video transmission over a heterogeneous network suffers a condition that it has required to satisfy many different constraints because of the variety limitations of client equipme...