6618 search results - page 367 / 1324 » Natural Logic for Natural Language |
196
click to vote
SOSL
1993
15 years 11 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
182
click to vote
MUC
1992
15 years 11 months ago
1992
This paper reports on the joint GE-CMU Tipster SHOGUN customization effort for MUC-4 , and analyzes the results of the TST3 and TST4 runs in comparison with the GE system.
136
Voted
FUN
2007
Springer
15 years 10 months ago
2007
Springer
A spoonerism is a sentence in some natural language where the swapping of two letters results in a new sentence with a different meaning. In this paper, we give some efficient algo...
150
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we compare two methods for the automatic identification of geographical articles in encyclopedic resources such as Wikipedia. The methods are a WordNet-based method ...
143
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We show that a natural online algorithm for scheduling jobs on a heterogeneous multiprocessor, with arbitrary power functions, is scalable for the objective function of weighted ï¬...