3740 search results - page 339 / 748 » A Fast Skeletonization Method |
133
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
105
click to vote
ISCAS
1993
IEEE
15 years 7 months ago
1993
IEEE
An algorithm is presented for fast implementation of time-varying wavelet packets maintaining perfect reconstruction throughout transitions. It is based on filter banks known as t...
119
Voted
ARITH
2007
IEEE
15 years 7 months ago
2007
IEEE
We address the problem of computing a good floating-point-coefficient polynomial approximation to a function, with respect to the supremum norm. This is a key step in most process...
108
click to vote
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
110
click to vote
SYRCODIS
2008
15 years 4 months ago
2008
In this research we introduce the problem of the binary matrix partitioning in a biological context. Our idea is to use SNP matrix to construct a set of phylogenetic networks to r...