2272 search results - page 21 / 455 » A Calculus for |
111
Voted
EUSFLAT
2003
15 years 5 months ago
2003
A new thresholding strategy for a text categorization problem is proposed. It is based on Zadeh’s calculus of linguistically quantified propositions. The strategy may be also in...
120
Voted
MLQ
2008
15 years 3 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
109
Voted
IJMMSC
2010
14 years 10 months ago
2010
Using the diagrammatic calculus for Soergel bimodules, developed by B. Elias and M. Khovanov, as well as Rasmussen's spectral sequence, we construct an integral version of HO...
128
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
125
Voted
ASIAN
1998
Springer
15 years 7 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...