900 search results - page 66 / 180 » Metric Structures and Probabilistic Computation |
171
click to vote
DIALM
2007
ACM
15 years 6 months ago
2007
ACM
Sketches--data structures for probabilistic, duplicate insensitive counting--are central building blocks of a number of recently proposed network protocols, for example in the con...
129
click to vote
BIOINFORMATICS
2006
15 years 2 months ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
108
click to vote
TSE
2010
15 years 1 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
140
click to vote
QEST
2010
IEEE
15 years 22 days ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
104
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...