4488 search results - page 263 / 898 » Focusing Search by Using Problem Solving Experience |
145
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
128
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, we present a new area-based method for visual correspondence search that focuses on the dissimilarity computation. Local and area-based matching methods generally m...
151
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
Personalization of web search results as a technique for improving user satisfaction has received notable attention in the research community over the past decade. Much of this wo...
123
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
Interfaces for users on the web are usually created using standard HTML-technologies. Although dynamic textbased features are widely available on the web (e.g. by using DHTML) the...
144
click to vote
ACIVS
2008
Springer
15 years 6 months ago
2008
Springer
Content-Based Image Retrieval is a challenging problem both in terms of effectiveness and efficiency. In this paper, we present a flexible cluster-and-search approach that is able ...