1024 search results - page 21 / 205 » Compositional Methods for Probabilistic Systems |
134
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Recent advances and automation in DNA sequencing technology has created a vast amount of DNA sequence data. This increasing growth of sequence data demands better and ...
DARE
2000
15 years 2 months ago
2000
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...
117
click to vote
WER
2005
Springer
15 years 6 months ago
2005
Springer
How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In t...
113
click to vote
IJAOSE
2010
14 years 10 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
119
click to vote
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...