24529 search results - page 4512 / 4906 » Computing on Authenticated Data |
140
click to vote
EOR
2006
15 years 5 months ago
2006
This paper presents a new multi-depot combined vehicle and crew scheduling algorithm, and uses it, in conjunction with a heuristic vehicle routing algorithm, to solve the intra-ci...
183
click to vote
IJCV
2008
15 years 5 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...
146
click to vote
EOR
2006
15 years 5 months ago
2006
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...
129
click to vote
FMSD
2006
15 years 5 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
141
click to vote
IJMMS
2008
15 years 5 months ago
2008
Although existing models of e-learning effectiveness in information systems (IS) have increased our understanding of how technology can support and enhance learning, most of our m...