2107 search results - page 86 / 422 » Computing Small Search Numbers in Linear Time |
155
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Similarity search methods are widely used as kernels in various data mining and machine learning applications including those in computational biology, web search/clustering. Near...
144
Voted
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
220
Voted
IR
2008
15 years 3 months ago
2008
We consider the following autocompletion search scenario: imagine a user of a search engine typing a query; then with every keystroke display those completions of the last query wo...
108
click to vote
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
135
click to vote
PAMI
2006
15 years 3 months ago
2006
A visual search is required when applying a recognition process on a scene containing multiple objects. In such cases, we would like to avoid an exhaustive sequential search. This...