3779 search results - page 459 / 756 » Linear Consistency Testing |
165
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...
165
click to vote
COMAD
2008
15 years 7 months ago
2008
We propose an efficient sampling based outlier detection method for large high-dimensional data. Our method consists of two phases. In the first phase, we combine a "sampling...
159
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
138
click to vote
EMNLP
2008
15 years 7 months ago
2008
Previous work on ordering events in text has typically focused on local pairwise decisions, ignoring globally inconsistent labels. However, temporal ordering is the type of domain...
156
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...