8838 search results - page 322 / 1768 » Generalizing Domain Theory |
162
click to vote
SIGDOC
2006
ACM
16 years 21 days ago
2006
ACM
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
174
click to vote
SIGIR
2006
ACM
16 years 21 days 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...
181
click to vote
CADE
2008
Springer
15 years 8 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....
155
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...
170
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...