999 search results - page 11 / 200 » Constraints in Non-Boolean Contexts |
68
Voted
BIOCOMP
2008
14 years 11 months ago
2008
A Dyck shift and a Motzkin shift are mathematical models for constraints on genetic sequences. In terms of the theory of symbolic dynamics, neither of the Dyck shift nor the Motzki...
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
EPIA
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we present GRASPER, a graph constraint solver, based on set constraints. We specify GRASPER’s constraints and we make use of our framework to model a problem in the...
86
Voted
AINA
2007
IEEE
15 years 1 months ago
2007
IEEE
Pervasive computing environments introduce new requirements in expressiveness and flexibility of access control policies which are almost addressable leveraging contextual informa...