4 search results - page 1 / 1 » Interactively Matching Hand-Drawings Using Induction |
CVIU
1999
13 years 4 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
13 years 6 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
14 years 4 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...
WWW
2005
ACM
14 years 5 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...