2861 search results - page 159 / 573 » Constraint Programming |
122
click to vote
SIAMJO
2008
15 years 2 months ago
2008
Stochastic dominance constraints allow a decision-maker to manage risk in an optimization setting by requiring their decision to yield a random outcome which stochastically domina...
93
Voted
ICIP
2004
IEEE
16 years 4 months ago
2004
IEEE
The need for video summarization originates primarily from a viewing time or a bit budget constraint. A shorter version of the original video sequence is desirable in a number of ...
121
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
117
Voted
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
206
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...