944 search results - page 99 / 189 » Heuristic Search for Large Problems With Real Costs |
ISMIR
2003
Springer
15 years 3 months ago
2003
Springer
Currently a large percentage of Internet traffic consists of music files, typically stored in MP3 compressed audio format, shared and exchanged over Peer-to-Peer (P2P) networks....
COMAD
2008
14 years 11 months ago
2008
In this paper we present algorithms for identifying interesting subsets of a given database of records. In many real life applications, it is important to automatically discover s...
170
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
This paper addresses the problem of monitoring the k nearest neighbors to a dynamically changing path in road networks. Given a destination where a user is going to, this new quer...
CIKM
2008
Springer
15 years 1 days ago
2008
Springer
Learning-to-rank algorithms, which can automatically adapt ranking functions in web search, require a large volume of training data. A traditional way of generating training examp...
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...