4 search results - page 1 / 1 » Interactively Matching Hand-Drawings Using Induction |
67
Voted
CVIU
1999
14 years 9 months ago
1999
In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for comput...
AAAI
1994
14 years 11 months ago
1994
Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
109
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
We describe Thresher, a system that lets non-technical users teach their browsers how to extract semantic web content from HTML documents on the World Wide Web. Users specify exam...