1158 search results - page 214 / 232 » Software is discrete mathematics |
103
click to vote
IJFCS
2006
15 years 14 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
TASE
2008
IEEE
15 years 12 days ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
95
Voted
TOPLAS
2008
15 years 11 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
143
Voted
TASLP
2011
14 years 7 months ago
2011
Abstract—The shifted delta cepstrum (SDC) is a widely used feature extraction for language recognition (LRE). With a high context width due to incorporation of multiple frames, S...
147
Voted
TASE
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...