5269 search results - page 771 / 1054 » order 2007 |
163
Voted
CPAIOR
2007
Springer
16 years 28 days ago
2007
Springer
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custome...
169
click to vote
CSEE
2007
Springer
16 years 28 days ago
2007
Springer
Extensive instructional materials have been developed and used for courses in specific software architecture topics offered at the Software Engineering Institute (SEI) at Carnegie...
181
click to vote
CSL
2007
Springer
16 years 28 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
153
click to vote
CSR
2007
Springer
16 years 28 days ago
2007
Springer
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
188
click to vote
DBPL
2007
Springer
16 years 28 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...