6171 search results - page 970 / 1235 » The FrameNet Data and Software |
153
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We consider the problem of indexing high-dimensional data for answering (approximate) similarity-search queries. Similarity indexes prove to be important in a wide variety of sett...
262
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
149
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Traditional association mining algorithms use a strict definition of support that requires every item in a frequent itemset to occur in each supporting transaction. In real-life d...
191
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
The success of popular algorithms such as k-means clustering or nearest neighbor searches depend on the assumption that the underlying distance functions reflect domain-specific n...
153
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
Traditional intrusion detection systems (IDS) detect attacks by comparing current behavior to signatures of known attacks. One main drawback is the inability of detecting new atta...