6456 search results - page 88 / 1292 » Constraint Solving on Terms |
161
click to vote
NGC
2000
Springer
15 years 9 months ago
2000
Springer
We examine the use of a hop-limit constraint with techniques to provide survivability for connection-oriented ATM group communications. A hop-limit constraint is an approach that ...
192
click to vote
SDM
2008
SIAM
15 years 7 months ago
2008
SIAM
Multi-label learning refers to the problems where an instance can be assigned to more than one category. In this paper, we present a novel Semi-supervised algorithm for Multi-labe...
146
click to vote
SEMWEB
2007
Springer
16 years 7 days ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciļ¬...
138
click to vote
CPAIOR
2009
Springer
16 years 21 days ago
2009
Springer
Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for diļ¬cult constraint pro...
138
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...