3 search results - page 1 / 1 » RBT - a tool for building refined Buneman trees |
BIOINFORMATICS
2005
13 years 6 months ago
2005
ICIP
1995
IEEE
14 years 7 months ago
1995
IEEE
Recently a class of multiscale stochastic models has been introducedin which Gaussian random processes are described by scale-recursive dynamics that are indexed by the nodes of a...
CAV
2007
Springer
13 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...