7961 search results - page 48 / 1593 » Input-Output Model Programs |
128
click to vote
CP
2008
Springer
15 years 4 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...
111
Voted
CP
2007
Springer
15 years 8 months ago
2007
Springer
UM
2005
Springer
15 years 7 months ago
2005
Springer
AMC
2008
15 years 2 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
153
Voted
LPNMR
2001
Springer
15 years 6 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...