6495 search results - page 1199 / 1299 » Modeling Multidimensional Databases |
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
113
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper introduces a geometrically inspired large-margin classifier that can be a better alternative to the Support Vector Machines (SVMs) for the classification problems with ...
130
click to vote
SIGIR
1999
ACM
15 years 5 months ago
1999
ACM
There has been much recent interest in retrieval of time series data. Earlier work has used a fixed similarity metric (e.g., Euclidean distance) to determine the similarity betwee...
113
click to vote
SIGIR
1999
ACM
15 years 5 months ago
1999
ACM
A content-based retrieval model for tackling the mismatch problems specific to music data is proposed and implemented. The system uses a pitch profile encoding for queries in any ...
102
click to vote
HT
1998
ACM
15 years 4 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...