9260 search results - page 1493 / 1852 » Posterior distributions are computable from predictive distr... |
207
click to vote
ICS
1999
Tsinghua U.
15 years 12 months ago
1999
Tsinghua U.
Current high-end parallel systems achieve low-latency, highbandwidth network communication through the use of aggressive design techniques and expensive mechanical and electrical ...
187
click to vote
RECOMB
1999
Springer
15 years 12 months ago
1999
Springer
An important goal in bioinformatics is determining the homology and function of proteins from their sequences. Pairwise sequence similarity algorithms are often employed for this ...
215
click to vote
IPPS
1998
IEEE
15 years 12 months ago
1998
IEEE
For a weighted, undirected graph G = V;E where jVj = n and jEj = m, we examine the single most vital edge with respect to two measurements related to all-pairs shortest paths APSP....
220
click to vote
HYBRID
1998
Springer
15 years 12 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
210
click to vote
CONCUR
1992
Springer
15 years 11 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...