Sciweavers

17049 search results - page 367 / 3410
» cans 2007
Sort
View
SSC
2007
Springer
126views Cryptology» more  SSC 2007»
16 years 28 days ago
Randomness and Representation of Span n Sequences
Any span n sequences can be regarded as filtering sequences. From this observation, new randomness criteria for span n sequences are proposed. It is proved that the feedback funct...
Guang Gong
APLAS
2007
ACM
15 years 10 months ago
Mixed Inductive/Coinductive Types and Strong Normalization
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
Andreas Abel
CSR
2007
Springer
15 years 10 months ago
A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes
Abstract. We will show how padding techniques can be applied on onedimensional cellular automata by proving a transfer theorem on complexity classes (how one inclusion of classes i...
Victor Poupet
GECCO
2007
Springer
174views Optimization» more  GECCO 2007»
15 years 10 months ago
Classifier systems that compute action mappings
The learning in a niche based learning classifier system depends both on the complexity of the problem space and on the number of available actions. In this paper, we introduce a ...
Pier Luca Lanzi, Daniele Loiacono
GRAPHITE
2007
ACM
15 years 10 months ago
Arbitrarily layered micro-facet surfaces
In this paper we present a method to combine several micro-facet based surface layers into a single unified, expressive BRDF model that is easy to use. The restriction to micro-fa...
Andrea Weidlich, Alexander Wilkie