279 search results - page 34 / 56 » Constructive Interval Disjunction |
127
click to vote
PVLDB
2008
15 years 1 months ago
2008
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
129
Voted
DAWAK
2011
Springer
14 years 1 months ago
2011
Springer
(The original conference version of this paper mischaracterizes the contributions of the current authors, relative to the contributions of Keogh et al. [11, 12]. We would like to ...
147
click to vote
ICML
2005
IEEE
16 years 2 months ago
2005
IEEE
In this paper we describe a new method to reduce the complexity of support vector machines by reducing the number of necessary support vectors included in their solutions. The red...
ENTCS
2008
15 years 1 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
113
Voted
JCT
2010
15 years 10 days ago
2010
We study the smallest possible number of points in a topological space having k open sets. Equivalently, this is the smallest possible number of elements in a poset having k order ...