5499 search results - page 199 / 1100 » Generalized Rewrite Theories |
186
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML r...
195
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
169
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
This paper generalizes the well-known representations of fuzzy preorders and similarities according to Valverde to the graded framework of Fuzzy Class Theory (FCT). The results de...
183
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...
173
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Using the concept of discrete noiseless channels, it was shown by Shannon in A Mathematical Theory of Communication that the ultimate performance of an encoder for a constrained sy...