595 search results - page 33 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
104
Voted
CORR
1998
Springer
15 years 2 months ago
1998
Springer
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
150
Voted
NCA
2007
IEEE
15 years 9 months ago
2007
IEEE
We present FRAC, a Framework for Role-based Access Control in network file systems. FRAC is a reference monitor that controls the message flow between file system clients and s...
222
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
120
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
118
Voted
AI
2011
Springer
14 years 9 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...