6095 search results - page 1094 / 1219 » Learning in Local Search |
133
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Long queries frequently contain many extraneous terms that hinder retrieval of relevant documents. We present techniques to reduce long queries to more effective shorter ones tha...
126
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
107
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...
124
click to vote
CGO
2007
IEEE
15 years 10 months ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
150
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
Text clustering is most commonly treated as a fully automated task without user supervision. However, we can improve clustering performance using supervision in the form of pairwi...