Sciweavers

1517 search results - page 244 / 304
» New Approach To A Class Of Matrices
Sort
View
COR
2010
166views more  COR 2010»
15 years 1 months ago
Variable neighbourhood decomposition search for 0-1 mixed integer programs
In this paper we propose a new hybrid heuristic for solving 0-1 mixed integer programs based on the principle of variable neighbourhood decomposition search. It combines variable ...
Jasmina Lazic, Saïd Hanafi, Nenad Mladenovic,...
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 1 months ago
Optimal control theory : a method for the design of wind instruments
It has been asserted previously by the author that optimal control theory can be a valuable framework for theoretical studies about the shape that a wind instrument should have in...
Georges Le Vey
106
Voted
CORR
2010
Springer
167views Education» more  CORR 2010»
15 years 1 months ago
Network Flow Algorithms for Structured Sparsity
We consider a class of learning problems that involve a structured sparsityinducing norm defined as the sum of -norms over groups of variables. Whereas a lot of effort has been pu...
Julien Mairal, Rodolphe Jenatton, Guillaume Obozin...
117
Voted
ALGORITHMICA
2006
74views more  ALGORITHMICA 2006»
15 years 1 months ago
Parallelizing Feature Selection
Classification is a key problem in machine learning/data mining. Algorithms for classification have the ability to predict the class of a new instance after having been trained on...
Jerffeson Teixeira de Souza, Stan Matwin, Nathalie...
86
Voted
ENTCS
2008
89views more  ENTCS 2008»
15 years 1 months ago
CC(X): Semantic Combination of Congruence Closure with Solvable Theories
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
Sylvain Conchon, Evelyne Contejean, Johannes Kanig...