Sciweavers

5084 search results - page 249 / 1017
» Proving Possibility Properties
Sort
View
JMLR
2010
130views more  JMLR 2010»
15 years 1 months ago
A Regularization Approach to Nonlinear Variable Selection
In this paper we consider a regularization approach to variable selection when the regression function depends nonlinearly on a few input variables. The proposed method is based o...
Lorenzo Rosasco, Matteo Santoro, Sofia Mosci, Ales...
AGI
2011
14 years 10 months ago
An Information Theoretic Representation of Agent Dynamics as Set Intersections
We represent agents as sets of strings. Each string encodes a potential interaction with another agent or environment. We represent the total set of dynamics between two agents as ...
Samuel Epstein, Margrit Betke
ECCC
2011
187views ECommerce» more  ECCC 2011»
14 years 10 months ago
In Brute-Force Search of Correlation Bounds for Polynomials
We report on some initial results of a brute-force search for determining the maximum correlation between degree-d polynomials modulo p and the n-bit mod q function. For various s...
Frederic Green, Daniel Kreymer, Emanuele Viola
CEC
2011
IEEE
14 years 6 months ago
On universal search strategies for multi-criteria optimization using weighted sums
—We develop a stochastic local search algorithm for finding Pareto points for multi-criteria optimization problems. The algorithm alternates between different single-criterium o...
Julien Legriel, Scott Cotton, Oded Maler
KBSE
2008
IEEE
16 years 29 days ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel