1261 search results - page 122 / 253 » A Hierarchy of Temporal Properties |
VIP
2003
13 years 11 months ago
2003
1 This paper describes a new approach for visualising the file structures. Our technique uses an enclosure + connection (ENCCON) approach that provides an overall view of the enti...
TVCG
1998
13 years 9 months ago
1998
Wavelet-based methods have proven their efficiency for the visualization at different levels of detail, progressive transmission, and compression of large data sets. The required...
CSE
2012
IEEE
12 years 5 months ago
2012
IEEE
—Continuum quantum Monte Carlo (QMC) has proved to be an invaluable tool for predicting the properties of matter from fundamental principles. By solving the manybody Schr¨odinge...
TSE
2011
13 years 5 months 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...
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...