5205 search results - page 227 / 1041 » Tilings and model theory |
ECAI
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
TAPSOFT
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
CTCS
1987
Springer
14 years 2 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
CISSE
2008
Springer
14 years 22 days ago
2008
Springer
Abstract-- This article analyzes experiment results regarding subjective perception of a web application. Software quality models, since the first publications on this subject, pro...
IWFM
1998
14 years 3 days ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...