774 search results - page 6 / 155 » Process Discovery Using Integer Linear Programming |
79
Voted
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
107
Voted
CAV
2006
Springer
15 years 3 months ago
2006
Springer
We show that termination of a simple class of linear loops over the integers is decidable. Namely we show that termination of deterministic linear loops is decidable over the integ...
77
Voted
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...
104
click to vote
CANDC
2005
ACM
14 years 11 months ago
2005
ACM
The task of the quartet puzzling problem is to find a best-fitting binary X-tree for a finite n-set from confidence values for the 3 n 4 binary trees with exactly four leaves from...
113
Voted
JAIR
2008
14 years 11 months ago
2008
Sentence compression holds promise for many applications ranging from summarization to subtitle generation. Our work views sentence compression as an optimization problem and uses...