1486 search results - page 204 / 298 » Firewall Rules Analysis |
109
click to vote
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
Online learning algorithms have recently risen to prominence due to their strong theoretical guarantees and an increasing number of practical applications for large-scale data ana...
182
click to vote
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
SOFSEM
2010
Springer
14 years 9 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
101
click to vote
AMSTERDAM
2009
14 years 9 months ago
2009
Potts (2005, 2007) claims that Grice's `conventional implicatures' offer a powerful argument in favor of a multidimensional semantics, one in which certain expressions fa...
115
click to vote
IALP
2009
14 years 9 months ago
2009
The paper describes an approach to extend the coverage of a Link Grammar based parser on the constructions that are not being handled currently by the grammar. There are about thir...