2373 search results - page 66 / 475 » On the Theory of Structural Subtyping |
SIGIR
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...
PODS
1997
ACM
15 years 2 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
SYNTHESE
2008
14 years 9 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...
163
click to vote
GIS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...
AIL
2008
14 years 10 months ago
2008
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...