8838 search results - page 57 / 1768 » Generalizing Domain Theory |
ENTCS
2008
14 years 12 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
186
click to vote
GIS
2006
ACM
16 years 27 days 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...
CSCLP
2007
Springer
15 years 6 months ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
KR
2004
Springer
15 years 5 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...