1389 search results - page 3 / 278 » Definability as hypercomputational effect |
MSS
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract We study the structure of unstable local effectivity functions defined for n players and p alternatives. A stability index based on the notion of cycle is introduced. In t...
79
Voted
CAE
2005
14 years 12 months ago
2005
This paper attempts to define the discipline of Computational Aesthetics in the context of computer science, partly reflecting the contributions and comprehensive discussions of t...
CADE
2001
Springer
15 years 9 months ago
2001
Springer
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
86
Voted
FMOODS
2006
14 years 11 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
75
Voted
AAAI
2000
14 years 11 months ago
2000
Expert decision-makers often explain decisions by citing general principles. In some domains, however, it is nearly impossible to define principles intensionally so that they may ...