476 search results - page 50 / 96 » The Complexity of Equality Constraint Languages |
CP
2005
Springer
14 years 2 months ago
2005
Springer
The two most popular backtrack algorithms for solving Constraint Satisfaction Problems (CSPs) are Forward Checking (FC) and Maintaining Arc Consistency (MAC). MAC maintains full ar...
JIIS
2006
13 years 9 months ago
2006
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
CPAIOR
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
MOMPES
2009
IEEE
14 years 3 months ago
2009
IEEE
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, power efficient signaling over indoor diffuse wireless optical channels is considered. Present-day laser diodes have pulse rates many times higher than the band...