2373 search results - page 167 / 475 » On the Theory of Structural Subtyping |
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...
218
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
169
click to vote
ACL
2004
15 years 8 months ago
2004
We use a reliably annotated corpus to compare metrics of coherence based on Centering Theory with respect to their potential usefulness for text structuring in natural language ge...
136
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we examine 1) the scope of geo-ontologies used especially for the purposes of information retrieval on the Web, 2) the core geographical concepts and their mutual re...
149
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
An Open Source Software (OSS) project is unlikely to be successful unless there is an accompanied community that provides the platform for developers and users to collaborate. Mem...