1158 search results - page 7 / 232 » Software is discrete mathematics |
EOR
2010
13 years 7 months ago
2010
We study a network airline revenue management problem with discrete customer choice behavior. We discuss a choice model based on the concept of preference orders, in which custome...
ICSR
2009
Springer
13 years 5 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
SG
2010
Springer
14 years 20 days ago
2010
Springer
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
ANNALS
2008
13 years 7 months ago
2008