Sciweavers

6045 search results - page 125 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
14 years 4 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton
ICIP
2005
IEEE
16 years 6 months ago
An adaptive linear system framework for image distortion analysis
We describe a framework for decomposing the distortion between two images into a linear combination of components. Unlike conventional linear bases such as those in Fourier or wav...
Zhou Wang, Eero P. Simoncelli
ICC
2007
IEEE
15 years 10 months ago
Widely Linear Prediction for Blind Equalization
— This paper proposes a new blind equalization scheme based on widely linear (WL) prediction. It permits to compensate non-minimum phase channels with or without spectral nulls, ...
Francisco J. A. de Aquino, Carlos A. F. da Rocha, ...
EVOW
2007
Springer
15 years 10 months ago
Tackling the Container Loading Problem: A Hybrid Approach Based on Integer Linear Programming and Genetic Algorithms
Abstract. This paper presents a novel hybrid approach for solving the Container Loading (CL) problem based on the combination of Integer Linear Programming (ILP) and Genetic Algori...
Napoleão Nepomuceno, Plácido Rog&eac...
ICCS
2004
Springer
15 years 9 months ago
Encoding Multiple Solutions in a Linear Genetic Programming Chromosome
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
Mihai Oltean, Crina Grosan, Mihaela Oltean