470 search results - page 57 / 94 » FORM facts |
MANSCI
2008
13 years 10 months ago
2008
We consider the problem of minimizing staffing costs in an inbound call center, while maintaining an acceptable level of service in multiple time periods. The problem is complicat...
JUCS
2006
13 years 10 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
PAMI
2006
13 years 10 months ago
2006
In this paper, a methodology of general applicability is presented for answering the question if an artist used a number of archetypes to draw a painting or if he drew it freehand....
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
Text reuse occurs in many different types of documents and for many different reasons. One form of reuse, duplicate or near-duplicate documents, has been a focus of researchers be...
ASE
2005
13 years 10 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...