3951 search results - page 225 / 791 » Automatic amortized analysis |
169
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
One of the challenges of music information retrieval is the automatic extraction of effective content descriptors of music documents, which can be used at indexing and at retrieva...
171
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
132
click to vote
INCDM
2010
Springer
15 years 11 months ago
2010
Springer
In itself, the continuous exponential increase of the data-warehouses size does not necessarily lead to a richer and finer-grained information since the processing capabilities d...
180
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
One of the difficulties of Content-Based Image Retrieval (CBIR) is the gap between high-level concepts and low-level image features, e.g., color and texture. Relevance feedback wa...
156
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...