1453 search results - page 103 / 291 » Partial Constraint Satisfaction |
134
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
130
click to vote
CI
2004
15 years 3 months ago
2004
Soft constraints are a generalization of classical constraints, which allow for the description of preferences rather than strict requirements. In soft constraints, constraints and...
147
click to vote
ICTAI
2002
IEEE
15 years 9 months ago
2002
IEEE
(Appears as a regular paper in the proceedings of IEEE International Conference on Tools with Artificial Intelligence (ICTAI), IEEE Computer Society, Washington D.C. Nov. 2002, p...
139
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
146
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...