1024 search results - page 111 / 205 » Compositional Methods for Probabilistic Systems |
VISUALIZATION
1993
IEEE
14 years 8 hour ago
1993
IEEE
Flow volumes are the volumetric equivalent of stream lines. They provide more information about the vector field being visualized than do stream lines or ribbons. Presented is an ...
COLING
2008
13 years 9 months ago
2008
We report on the large-scale acquisition of class attributes with and without the use of lists of representative instances, as well as the discovery of unary attributes, such as t...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...
CPHYSICS
2006
13 years 8 months ago
2006
We approach the problem of computational crystal structure prediction, implementing an evolutionary algorithm--USPEX (Universal Structure Predictor: Evolutionary Xtallography). St...
JMLR
2010
13 years 2 months ago
2010
Probabilistic models of the performance of computer systems are useful both for predicting system performance in new conditions, and for diagnosing past performance problems. The ...