CSAIL Digital Archive: Recent submissions

Now showing items 250-252 of 807

    • What is Decidable about Strings? 

      Ganesh, Vijay; Minnes, Mia; Solar-Lezama, Armando; Rinard, Martin (2011-02-01)
      We prove several decidability and undecidability results for the satisfiability/validity problem of formulas over a language of finite-length strings and integers (interpreted as lengths of strings). The atomic formulas ...

    • CryptDB: A Practical Encrypted Relational DBMS 

      Popa, Raluca Ada; Zeldovich, Nickolai; Balakrishnan, Hari (2011-01-26)
      CryptDB is a DBMS that provides provable and practical privacy in the face of a compromised database server or curious database administrators. CryptDB works by executing SQL queries over encrypted data. At its core are ...

    • Multi-Output Learning via Spectral Filtering 

      Baldassarre, Luca; Rosasco, Lorenzo; Barla, Annalisa; Verri, Alessandro (2011-01-24)
      In this paper we study a class of regularized kernel methods for vector-valued learning which are based on filtering the spectrum of the kernel matrix. The considered methods include Tikhonov regularization as a special ...