2272 search results - page 21 / 455 » A Calculus for |
EUSFLAT
2003
13 years 10 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...
MLQ
2008
13 years 8 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
IJMMSC
2010
13 years 3 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...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
ASIAN
1998
Springer
14 years 26 days 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...