はてなブックマーク

Deep Bilateral Learning for Real-Time Image Enhancement Siggraph 2017 Abstract Performance is a critical challenge in mobile image processing. Given a reference imaging pipeline, or even human-adjusted pairs of images, we seek to reproduce the enhancements and enable real-time evaluation. For this, we introduce a new neural network architecture inspired by bilateral grid processing and local affin

MIT-Adobe FiveK Dataset Summary We collected 5,000 photographs taken with SLR cameras by a set of different photographers. They are all in RAW format; that is, all the information recorded by the camera sensor is preserved. We made sure that these photographs cover a broad range of scenes, subjects, and lighting conditions. We then hired five photography students in an art school to adjust the ton

We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems. PROJECTS Sketch — A synthesis-enabled language that allows programmers to write programs with holes and then use constraint-based synthesis to discover the missing code. People: Armando Solar-Lezama Castor — A deductive synthesis tool that generates work

Functional Differential Geometry Functional Differential Geometry Gerald Jay Sussman and Jack Wisdom with Will Farr c 2012 The Massachusetts Institute of Technology This book was set by the authors using the L A TEX typesetting system and was printed and bound in the United States of America. Library of Congress Cataloging-in-Publication Data Sussman, Gerald Jay. Functional Differential Geometry /

Anonymous: Fried, Frank got NSA's permission to make this report available. They have offered to make copies available by contacting them at <21stCen@ffhsj.com> or (202) 639-7200. See: http://www.ffhsj.com/bancmail/21starch/961017.htm Received October 31, 1996 With the Compliments of Thomas P. Vartanian Fried, Frank, Harris, Schriver & Jacobson 1001 Pennsylvania Avenue, N.W. Washington, D.C. 20004

Sparse Fast Fourier Transform : The discrete Fourier transform (DFT) is one of the most important and widely used computational tasks. Its applications are broad and include signal processing, communications, and audio/image/video compression. Hence, fast algorithms for DFT are highly valuable. Currently, the fastest such algorithm is the Fast Fourier Transform (FFT), which computes the DFT of an

Sparse Fast Fourier Transform : The discrete Fourier transform (DFT) is one of the most important and widely used computational tasks. Its applications are broad and include signal processing, communications, and audio/image/video compression. Hence, fast algorithms for DFT are highly valuable. Currently, the fastest such algorithm is the Fast Fourier Transform (FFT), which computes the DFT of an

Visual Odometry For GPS-Denied Flight And Mapping Using A Kinect Project members MIT: Albert Huang, Abraham Bachrach, Garrett Hemann and Nicholas Roy Univ. of Washington: Peter Henry, Mike Krainin, and Dieter Fox Intel Labs Seattle: Xiaofeng Ren At MIT, we have developed a real-time visual odometry system that can use a Kinect to provide fast and accurate estimates of a vehicle's 3D trajectory. Th

June 29th, 2020 It has been brought to our attention [1] that the Tiny Images dataset contains some derogatory terms as categories and offensive images. This was a consequence of the automated data collection procedure that relied on nouns from WordNet. We are greatly concerned by this and apologize to those who may have been affected. The dataset is too large (80 million images) and the images ar

Man-Computer Symbiosis J. C. R. Licklider IRE Transactions on Human Factors in Electronics, volume HFE-1, pages 4-11, March 1960 Summary Man-computer symbiosis is an expected development in cooperative interaction between men and electronic computers. It will involve very close coupling between the human and the electronic members of the partnership. The main aims are 1) to let computers facilitat

Scheme Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expres

Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science Structure and Interpretation of Computer Programs Video Lectures by Hal Abelson and Gerald Jay Sussman Structure and Interpretation of Computer Programs has been MIT's introductory pre-professional computer science subject since 1981. It emphasizes the role of computer languages as vehicles for expressi

Scheme Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expres

Image and Depth from a Conventional Camera with a Coded Aperture A conventional camera captures blurred versions of scene information away from the plane of focus. Camera systems have been proposed that allow for recording all-focus images, or for extracting depth, but to record both simultaneously has required more extensive hardware and reduced spatial resolution. We propose a simple modi_cation

The Usable Programming group designs and studies systems that improve the learnability, efficiency, and safety of software development. It replaces the User Interface Design Group (2002-2017). RESEARCH PROJECTS Programming Education Constellation (2013-now) supports collaborative programming in the Eclipse IDE, particularly designed for active learning in the classroom -- like Google Docs for Ecli