395 search results - page 71 / 79 » Predicate Abstraction with Minimum Predicates |
PKDD
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...
WRLA
2010
13 years 8 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
CC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract--We present Starburst, a routing-based protocol designed to efficiently disseminate data items to small subsets within a sensor network. Starburst constructs a routing hie...
ICDE
2012
IEEE
12 years 7 days ago
2012
IEEE
Abstract— Previous work has introduced probability distributions as first-class components in uncertain stream database systems. A lacking element is the fact of how accurate the...