1115 search results - page 135 / 223 » An Abstract Look at Realizability |
153
click to vote
FUIN
2008
15 years 4 months ago
2008
Abstract. Approximation of an image by the attractor evolved through iterations of a set of contractive maps is usually known as fractal image compression. The set of maps is calle...
136
click to vote
GPEM
2006
15 years 4 months ago
2006
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
125
click to vote
CGF
2005
15 years 4 months ago
2005
The concept of tiled displays can be successful only if such displays are made to look like a single display perceptually. The two issues that need to be solved to achieve this go...
134
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
114
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...