1283 search results - page 257 / 257 » A Survey on Temporal Logics |
TSE
2011
13 years 8 days ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
INFOCOM
2012
IEEE
11 years 7 months ago
2012
IEEE
—Recent years have witnessed mass proliferation of mobile devices with rich wireless communication capabilities as well as emerging mobile device based information dissemination ...
TVCG
2012
11 years 7 months ago
2012
—The rapid growth of motion capture data increases the importance of motion retrieval. The majority of the existing motion retrieval approaches are based on a labor-intensive ste...