Sciweavers

4430 search results - page 105 / 886
» Solving Optimization Problems with DLL
Sort
View
GECCO
2003
Springer
124views Optimization» more  GECCO 2003»
15 years 8 months ago
ERA: An Algorithm for Reducing the Epistasis of SAT Problems
A novel method, for solving satisfiability (SAT) instances is presented. It is based on two components: a) An Epistasis Reducer Algorithm (ERA) that produces a more suited represe...
Eduardo Rodriguez-Tello, Jose Torres-Jimenez
ICCV
1998
IEEE
15 years 7 months ago
A Maximum-Flow Formulation of the N-Camera Stereo Correspondence Problem
This paper describes a new algorithm for solving the N-camera stereo correspondence problem by transforming it into a maximum- ow problem. Once solved, the minimum-cut associated ...
Sébastien Roy, Ingemar J. Cox
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
15 years 9 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
EDBT
2011
ACM
231views Database» more  EDBT 2011»
14 years 6 months ago
Data integration with dependent sources
Data integration systems offer users a uniform interface to a set of data sources. Previous work has typically assumed that the data sources are independent of each other; however...
Anish Das Sarma, Xin Luna Dong, Alon Y. Halevy
GECCO
2009
Springer
130views Optimization» more  GECCO 2009»
15 years 7 months ago
A stigmergy-based algorithm for black-box optimization: noiseless function testbed
In this paper, we present a stigmergy-based algorithm for solving optimization problems with continuous variables, labeled Differential Ant-Stigmergy Algorithm (DASA). The perfor...
Peter Korosec, Jurij Silc