̃ CS 373 : Theory of Computation

Stanford Artificial Intelligence Project Memoaim-164 Stan-cs-72-272 Fixpoint Approach to the Theory of Computation

Image representation by compressive sensing for visual sensor networks

 Abstract — This paper addresses the image representation problem in visual sensor networks. We propose a new image representation method for visual sensor networks based on compressive sensing (CS). CS is a new sampling method for sparse signals, which is able to compress the input data in the sampling process. Combining both signal sampling and data compression, CS is more capable of image r...

Abstraction Based Information Technology

ion in AI and CS In the early days of CS, algorithms were often seen as an abstract formulation of procedures. Nowadays, this workshop illustrates well that category theory is associated to an abstract formulation of CS. The example of computer algebra teaches us that such methodologies do not amount to a full abstraction paradigm. Giunchiglia and Walsh introduced theories of abstraction for me...

CS 700 : Computational Mechanism Design

[IMD] Introduction to mechanism design (for computer scientists), by N. Nisan. In N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, editors, Algorithmic Game Theory, chapter 9. Cambridge University Press, 2007. [CAs] Combinatorial Auctions, by L. Blumrosen and N. Nisan. In N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, editors, Algorithmic Game Theory, chapter 11. Cambridge Universit...

Medical Image Fusion in NSCT Domain Combining with Compressive Sensing

In recent years, with the development of compressive sensing (CS) theory, it has been widely applied to each field including image fusion, and obtained better fusion effect. And CS can reduce dimensions and the amount of data characteristics as well as the large amount and high computation complex. Therefore, this paper proposes a novel medical image fusion method based on compressive sensing t...