4426 search results - page 419 / 886 » Concurrent Constraint Programming |
222
click to vote
PADL
2005
Springer
16 years 9 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
187
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
181
Voted
SAS
2004
Springer
16 years 4 days 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...
179
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
131
click to vote
ICPR
2008
IEEE
16 years 8 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 ...