Sciweavers

522 search results - page 48 / 105
» On the Hardness of the Noncommutative Determinant
Sort
View
DAGSTUHL
2004
13 years 9 months ago
Subjects, Models, Languages, Transformations
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...
Arend Rensink
IJCAI
2001
13 years 9 months ago
CABOB: A Fast Optimal Algorithm for Combinatorial Auctions
Combinatorial auctions where bidders can bid on bundles of items can lead to more economical allocations, but determining the winners is NP-complete and inapproximable. We present...
Tuomas Sandholm, Subhash Suri, Andrew Gilpin, Davi...
FTCS
1998
79views more  FTCS 1998»
13 years 9 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
IMAGING
2000
13 years 9 months ago
Quantifying Mixed Adaptation in Cross-Media Color Reproduction
This paper describes an investigation undertaken to address the goal set by the CIE Technical committee TC804: "To investigate the state of adaptation of the visual system wh...
Sharron A. Henley, Mark D. Fairchild
MVA
1996
177views Computer Vision» more  MVA 1996»
13 years 9 months ago
An Adaptive Threshold Method for Gray Scale Character Images
Gray-scale document images are binarized in order to perform optical character recognition (OCR). To perform this binarization, a variety of techniques have been proposed for perf...
Ming Yu, Shinji Ozawa