Sciweavers

6045 search results - page 125 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
12 years 8 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
14 years 9 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
14 years 2 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
14 years 2 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
14 years 1 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