8109 search results - page 1227 / 1622 » A Model of Component-Based Programming |
162
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
159
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
147
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
Preferences and uncertainty are common in many real-life problems. In this paper, we focus on bipolar preferences and on uncertainty modelled via uncontrollable variables. However,...
133
click to vote
ECSQARU
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...
168
click to vote
FOSSACS
2007
Springer
16 years 14 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...