1420 search results - page 101 / 284 » Multi-point Constructive Search |
110
click to vote
WIA
2007
Springer
15 years 10 months ago
2007
Springer
We study the pattern matching automaton introduced in [1] for the purpose of seed-based similarity search. We show that our definition provides a compact automaton, much smaller t...
144
click to vote
ICCV
1999
IEEE
15 years 8 months ago
1999
IEEE
An approach to extract watersheds and watercourses, as well as their corresponding valleys and hills, from images with subpixel precision is proposed. The critical points of the t...
144
click to vote
LOPSTR
1995
Springer
15 years 7 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
127
click to vote
ALGORITHMICA
2004
15 years 4 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
120
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Despite the success of web search engines, search over large enterprise intranets still suffers from poor result quality. Earlier work [6] that compared intranets and the Internet...