1344 search results - page 219 / 269 » Problem Solving with Adaptive Feedback |
121
click to vote
KDD
2012
ACM
13 years 1 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
AAAI
2012
13 years 1 months ago
2012
Hashing, which tries to learn similarity-preserving binary codes for data representation, has been widely used for efficient nearest neighbor search in massive databases due to i...
107
click to vote
JAIR
2007
14 years 11 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpli...
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
111
click to vote
CP
2008
Springer
15 years 29 days ago
2008
Springer
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...