16091 search results - page 332 / 3219 » Solving |
132
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
157
click to vote
ENDM
2010
15 years 6 months ago
2010
We study an extension of the precedence constrained knapsack problem where the knapsack can be filled in multiple periods. This problem is known in the mining industry as the open...
169
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we present a deeper analysis than has previously been carried out of a selective attention problem, and the evolution of continuous-time recurrent neural networks to...
173
click to vote
IJVR
2008
15 years 6 months ago
2008
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
177
click to vote
COR
2007
15 years 6 months ago
2007
Column generation has proven to be efficient in solving the linear programming relaxation of large scale instances ofthemultiple-depotvehicleschedulingproblem(MDVSP).Howeverdif...