2266 search results - page 23 / 454 » Some Solutions to the Ignoring Problem |
130
click to vote
AOR
2010
14 years 10 months ago
2010
Column generation algorithms have been specially designed for solving mathematical programs with a huge number of variables. Unfortunately, this method suffers from slow convergen...
105
click to vote
ILP
2000
Springer
15 years 4 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
107
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
118
click to vote
DATAMINE
2006
15 years 1 months ago
2006
In order to allow for the analysis of data sets including numerical attributes, several generalizations of association rule mining based on fuzzy sets have been proposed in the li...
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
— Evolutionary algorithms (EAs) have been widely used in optimization, where infeasible solutions are often encountered. Some EAs regard infeasible solutions as useless individua...