1486 search results - page 137 / 298 » Firewall Rules Analysis |
166
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
122
click to vote
IPMU
2010
Springer
15 years 2 months ago
2010
Springer
Analysis of rule interestingness measures with respect to their properties is an important research area helping to identify groups of measures that are truly meaningful. In this a...
JOS
2011
14 years 11 months ago
2011
In a comprehensive study of methods for dealing with the problem of the initial transient, Hoad et al. (2008) determined that the MSER (White, 1997) was an efficient and effective...
124
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
162
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
Harmonic analysis is a standard musicological tool for understanding many pieces of Western classical music and making comparisons among them. Traditionally, this analysis is done...