1486 search results - page 49 / 298 » Firewall Rules Analysis |
CADE
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
ASAP
1996
IEEE
15 years 4 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
ADAC
2010
14 years 12 months ago
2010
We consider the problem of optimally separating two multivariate populations. Robust linear discriminant rules can be obtained by replacing the empirical means and covariance in th...
118
click to vote
CVPR
1998
IEEE
16 years 1 months ago
1998
IEEE
The Euclidean skeleton is essential for general shape representation. This paper provides an e cient method to extract a well-connected Euclidean skeleton by a neighbor bisector d...
125
click to vote
IEAAIE
2005
Springer
15 years 5 months ago
2005
Springer
Association rules discovery is a fundamental task in spatial data mining where data are naturally described at multiple levels of granularity. ARES is a spatial data mining system ...