1450 search results - page 174 / 290 » Juggling with Pattern Matching |
107
Voted
LICS
1991
IEEE
15 years 4 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...
128
click to vote
ACL
2008
15 years 2 months ago
2008
This paper presents a MapReduce algorithm for computing pairwise document similarity in large document collections. MapReduce is an attractive framework because it allows us to de...
63
Voted
ESANN
2007
15 years 2 months ago
2007
The so called MSO-problem, – a simple superposition of two or more sinusoidal waves –, has recently been discussed as a benchmark problem for reservoir computing and was shown ...
118
Voted
IIS
2003
15 years 2 months ago
2003
Hyperlink recommendation overcomes the problem of quick and easy access to information in web systems. A method that integrates web usage and content mining was proposed and examin...
105
Voted
TREC
2004
15 years 2 months ago
2004
AnswerFinder combines lexical, syntactic, and semantic information in various stages of the question answering process. The candidate sentences are preselected on the basis of (i)...