152 search results - page 5 / 31 » A formal mathematical framework for modeling probabilistic h... |
RECOMB
2000
Springer
13 years 10 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
HYBRID
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
SIGMETRICS
2008
ACM
13 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
SIGMOD
2011
ACM
12 years 9 months ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
REX
1991
13 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...