601 search results - page 48 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
138
click to vote
CORR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
119
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— We propose the quality-of-service (QoS) driven power allocation schemes for parallel fading channels when considering imperfect channel estimations. In particular, the parallel...
IJSN
2006
15 years 1 months ago
2006
: WorkFlow Management Systems (WFMS) coordinate and streamline business processes. Acquiring workflow authorisations and managing workflow authorisation constraints is achallenging...
122
click to vote
GMP
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. We present an efficient and robust algorithm for computing continuous visibility for two- or three-dimensional shapes whose boundaries are NURBS curves or surfaces by li...