7961 search results - page 48 / 1593 » Input-Output Model Programs |
166
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
138
click to vote
AMC
2008
15 years 6 months ago
2008
This paper extends the model proposed by Papahristodoulou [C. Papahristodoulou, Option strategies with linear programming, European Journal of Operational Research 157 (2004) 246
203
click to vote
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...