1863 search results - page 91 / 373 » Unifying Theories of Objects |
CGF
1999
13 years 8 months ago
1999
Inspired by the drawings of "impossible" objects by artists such as M.C. Escher, we describe a mathematical theory which captures some of the underlying principles of th...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Classical rate-distortion theory requires knowledge of an elusive source distribution. Instead, we analyze rate-distortion properties of individual objects using the recently devel...
ICIC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
ROOM
2000
13 years 10 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
DAGSTUHL
2001
13 years 10 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...