Sciweavers

1863 search results - page 91 / 373
» Unifying Theories of Objects
Sort
View
128
Voted
CGF
1999
75views more  CGF 1999»
15 years 3 months ago
Modeling and Rendering Escher-Like Impossible Scenes
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...
Guillermo Savransky, Dan Dimerman, Craig Gotsman
153
Voted
CORR
2006
Springer
127views Education» more  CORR 2006»
15 years 4 months ago
Approximating Rate-Distortion Graphs of Individual Data: Experiments in Lossy Compression and Denoising
Classical rate-distortion theory requires knowledge of an elusive source distribution. Instead, we analyze rate-distortion properties of individual objects using the recently devel...
Steven de Rooij, Paul M. B. Vitányi
ICIC
2007
Springer
15 years 10 months ago
On the Convergence Properties of Quantum-Inspired Multi-Objective Evolutionary Algorithms
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...
Zhiyong Li, Zhe Li, Günter Rudolph
123
Voted
ROOM
2000
15 years 5 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
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...
Tony Clark
DAGSTUHL
2001
15 years 5 months ago
Constructive Foundations for Featherweight Java
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...
Thomas Studer