4488 search results - page 287 / 898 » Focusing Search by Using Problem Solving Experience |
136
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
Cover song detection is becoming a very hot research topic when plentiful personal music recordings or performance are released on the Internet. A nice cover song recognizer helps...
163
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Many deterministic algorithms in the context of constrained optimization require the first-order derivatives, or the gradient vectors, of the objective and constraint function...
147
click to vote
VLDB
2002
ACM
15 years 4 months ago
2002
ACM
Many valuable text databases on the web have non-crawlable contents that are "hidden" behind search interfaces. Metasearchers are helpful tools for searching over many s...
145
click to vote
AIPS
2006
15 years 6 months ago
2006
In this paper, we propose a new approach, called lemma-reusing, for accelerating SAT based planning and scheduling. Generally, SAT based approaches generate a sequence of SAT prob...
176
click to vote
ACST
2006
15 years 6 months ago
2006
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...