98 search results - page 18 / 20 » Characterizations and Relationships of World Views |
LICS
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
ESAW
2000
Springer
13 years 11 months ago
2000
Springer
Social Order becomes a major problem in MAS and in computer mediated human interaction. After explaining the notions of Social Order and Social Control, I claim that there are mult...
WSC
2007
13 years 10 months ago
2007
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
I3
2007
13 years 9 months ago
2007
The main objective of this work is to exploit the relationship between the information findability problem and a subject-based organization of information. Identification of a sub...
WSC
1998
13 years 9 months ago
1998
Customer interfacing is the process through which one works with and relates to their customer. Often in the technical world, modelers find it easier to interface with computers r...