13841 search results - page 90 / 2769 » Algorithms and Constraint Programming |
105
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
86
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we cast discriminative training problems into standard linear programming (LP) optimization. Besides being convex and having globally optimal solution(s), LP progra...
105
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A quadratic programming formulation for multiclass image segmentation is investigated. It is proved that, in the convex case, the non-negativity constraint on the recent reported ...
104
Voted
EMMCVPR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Reverse-convex programming (RCP) concerns global optimization of a specific class of non-convex optimization problems. We show that a recently proposed model for sparse ...