2373 search results - page 203 / 475 » On the Theory of Structural Subtyping |
176
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
186
click to vote
DEBU
2008
15 years 6 months ago
2008
Social media are constructed from the collective contributions of potentially millions of individuals and present an increasingly common and large scale form of database. As these...
154
click to vote
ENTCS
2002
15 years 6 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
157
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully ident...
228
click to vote
TFS
2011
15 years 1 months ago
2011
—Zadeh’s seminal work in theory of fuzzy-information3 granulation in human reasoning is inspired by the ways in which4 humans granulate information and reason with it. This has...