2623 search results - page 300 / 525 » tools 2010 |
94
Voted
EOR
2007
15 years 23 days ago
2007
This paper models supply chain (SC) uncertainties by fuzzy sets and develops a possibilistic SC configuration model for new products with unreliable or unavailable SC statistical...
102
Voted
EOR
2007
15 years 23 days ago
2007
Classical vehicle routing problems typically do not consider the impact of delivery price on the demand for delivery services. Existing models seek the minimum sum of tour lengths...
100
Voted
ENTCS
2002
15 years 18 days ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
79
Voted
ENTCS
2002
15 years 18 days ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
124
click to vote
ENTCS
2002
15 years 18 days ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...