CSAIL Digital Archive: Recent submissions

Now showing items 178-180 of 807

    • Multiscale Geometric Methods for Data Sets I: Multiscale SVD, Noise and Curvature 

      Little, Anna V.; Maggioni, Mauro; Rosasco, Lorenzo (2012-09-08)
      Large data sets are often modeled as being noisy samples from probability distributions in R^D, with D large. It has been noticed that oftentimes the support M of these probability distributions seems to be well-approximated ...

    • A Social-Welfare Optimal Probabilistic Mechanism for Knightian Single-Good Auctions 

      Chiesa, Alessandro; Micali, Silvio; Zhu, Zeyuan Allen (2012-09-07)
      We provide an optimal probabilistic mechanism for maximizing social welfare in single-good auctions when each player does not know his true valuation for the good, but only a set of valuations that is guaranteed to include ...

    • From Formal Methods to Executable Code 

      Musial, Peter M. (2012-08-27)
      The objective of this work is the derivation of software that is verifiably correct. Our approach is to abstract system specifications and model these in a formal framework called Timed Input/Output Automata, which provides ...