774 search results - page 57 / 155 » Process Discovery Using Integer Linear Programming |
107
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
118
click to vote
PAMI
2010
15 years 15 days ago
2010
— We propose a randomized data mining method that finds clusters of spatially overlapping images. The core of the method relies on the min-Hash algorithm for fast detection of p...
113
click to vote
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
138
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a new form of Genetic Programming called Cartesian Genetic Programming in which a program is represented as an indexed graph. The graph is encoded in the form o...
143
click to vote
ICML
2008
IEEE
16 years 2 months ago
2008
IEEE
We consider the problem of optimizing multilabel MRFs, which is in general NP-hard and ubiquitous in low-level computer vision. One approach for its solution is to formulate it as...