サクサク読めて、アプリ限定の機能も多数！
トップへ戻る
Switch 2
people.csail.mit.edu
Abstract Gradient-based optimization has enabled dramatic advances in computational imaging through techniques like deep learning and nonlinear optimization. These methods require gradients not just of simple mathematical functions, but of general programs which encode complex transformations of images and graphical data. Unfortunately, practitioners have traditionally been limited to either hand-
���� ����� ��������������������������!�#"%$'&�� �()&�&*���+����� ,�-/.102.13547698:02;=<�6?>@8BA!CD;=3/-/;=>FEG02H9CIC JK>/.1L!;M<ON'.2C(PQH?RTSK0U69N(V9H�W�X Y%Z CDH9[\;=<^]=_9`a` bdc#e�f:g\h�i)f jlk?monqparOp9s(tup�tvs(nws'xMyvn{z1|v}�~��'�o�O���(~'� ��r�x�s'��r�p�p�tv�MrO��k yv�^���O�2���I�Gpa�����M�K��tvp�k�m�nw���/j��=p9sT�(��r�nwnws'n p9s(tv��m�yl�O��s(t�� ���=rO��m�x��u����r�twm�ywk��Ks(ywm
3. Click on the chat bubble icon on the right end of the URL box to track your progress and set your language (to French or Spanish). About WaitChatter FAQ What is wait-learning? People often want to learn a language but can't find time. WaitChatter is based on the idea of wait-learning. It makes use of time you spend waiting for your IM buddy to respond to teach you a foreign language. What langu
Speedy Transactions in Multicore In-Memory Databases Stephen Tu, Wenting Zheng, Eddie Kohler†, Barbara Liskov, and Samuel Madden MIT CSAIL and †Harvard University Abstract Silo is a new in-memory database that achieves excel- lent performance and scalability on modern multicore machines. Silo was designed from the ground up to use system memory and caches efficiently. For instance, it avoids all c
C o n s i s t ent * Complete * W e l l D o c u m e n t e d * E a s y t o R e u s e * * E v a l u a t e d * P O P L * Artifact * A E C Automatic Patch Generation by Learning Correct Code Fan Long and Martin Rinard MIT CSAIL {fanl, rinard}@csail.mit.edu Abstract We present Prophet, a novel patch generation system that works with a set of successful human patches obtained from open- source software r
Accidental pinhole and antipinhole cameras There are many ways in which pictures are formed around us. The most efficient mechanisms are to use lenses or narrow apertures to focus light into a picture of what is in front. So a set of occluders (to form a pinhole camera) or a mirror surface (to capture only a subset of the reflected rays) will let us see an image as we view a surface. For those cas
Mattos Da Silva, Leticia, Silvia Sellán, Justin Solomon. "Through the Looking Glass: Mirror Schrödinger Bridges." ArXiv: 2410.07003. Lukoianov, Artem, Haitz Sáez de Ocáriz Borde, Kristjan Greenewald, Vitor Campagnolo Guizilini, Timur Bagautdinov, Vincent Sitzmann, and Justin Solomon. "Score Distillation via Reparametrized DDIM." NeurIPS 2024, Vancouver. ArXiv: 2405.15891.
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. Anish Athalye, Henry Corrigan-Gibbs, Frans Kaashoek, Joseph Tassarotti, and Nickolai Zeldovich. In Proceedings of the 30th ACM Symposium on Operating Systems Principles (SOSP), Austin, TX, November 2024. Probability from Possibility: Probabilistic Confidentiality for Storage Sys
Each unit corresponds to one convolutional unit. Click on one unit to show the strongest connections going in and out of the unit. For selected units, each pannel shows the 4 images (from ImageNet and Places) that most strongly activate each unit.
Abstract When sound hits an object, it causes small vibrations of the object’s surface. We show how, using only high-speed video of the object, we can extract those minute vibrations and partially recover the sound that produced them, allowing us to turn everyday objects—a glass of water, a potted plant, a box of tissues, or a bag of chips—into visual microphones. We recover sounds from high-speed
Overview Machine learning is an exciting and fast-moving field of Computer Science with many recent consumer applications (e.g., Kinect, Google Translate, Siri, digital camera face detection, Netflix recommendations) and applications within the sciences and medicine (e.g., predicting protein-protein interactions, species modeling, detecting tumors, personalized medicine). In this undergraduate-lev
SIFT flow: dense correspondence across difference scenes Link to TPAMI SIFT flow paper Ce Liu1 Jenny Yuen1 Antonio Torralba1 Josef Sivic2 William T. Freeman1,3 1CSAIL, MIT 2INRIA/Ecole Normale Supérieure 3Adobe Systems {celiu,jenny,torralba,billf}@csail.mit.edu, [email protected] Presented at ECCV 2008 [pdf] Download source code! Abstract While image registration has been studied in
Many seemingly static scenes contain subtle changes that are invisible to the naked human eye. However, it is possible to pull out these small changes from videos through the use of algorithms we have developed. We give a way to visualize these small changes by amplifying them and we present algorithms to pull out interesting signals from these videos, such as the human pulse, sound from vibrating
Abstract Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequence of conflating what computations define the algorithm, with decisions about storage and the order of computation. We refer to these latter two concerns as the schedule, including choices of tiling, fusion, recomp
Data-Driven Synthesis for Object-Oriented Frameworks Kuat Yessenov Zhilei Xu Armando Solar-Lezama ∗ Massachusetts Institute of Technology {kuat,timxu,asolar}@csail.mit.edu Abstract Software construction today often involves the use of large frameworks. The challenge in this type of programming is that object-oriented frameworks tend to grow exceedingly intricate; they spread functionality among n
Chapter 4. Bluetooth programming in C with BlueZ There are reasons to prefer developing Bluetooth applications in C instead of in a high level language such as Python. The Python environment might not be available or might not fit on the target device; strict application requirements on program size, speed, and memory usage may preclude the use of an interpreted language like Python; the programme
"The Whitespace Thing" is an alternative syntax for OCaml that uses indentation to group multi-line expressions, like Python and Haskell. This is a controversial feature that some people will always love and some people will always hate. Using pretty much the same indentation patterns you put in your code anyway, "The Whitespace Thing" eliminates: The ; operator for sequences of expressions Multi-
Online Compiler, Visual Debugger, and AI Tutor for Python, Java, C, C++, and JavaScript Python Tutor helps you do programming homework assignments in Python, Java, C, C++, and JavaScript. It contains a unique step-by-step visual debugger and AI tutor to help you understand and debug code. Since 2010, over 20 million people in more than 180 countries have used Python Tutor to visualize over 300 mil
ACM SIGGRAPH 2009 Robert Y. Wang and Jovan Popović We describe a system that can reconstruct the pose of the hand from a single image of the hand wearing a multi-colored glove. We demonstrate our system as a user-input device for desktop virtual reality applications. Abstract Articulated hand-tracking systems have been widely used in virtual reality but are rarely deployed in consumer applications
Overview Advanced topics in computer vision with a focus on the use of machine learning techniques and applications in graphics and human-computer interface. Topics include image representations, texture models, structure-from-motion algorithms, Bayesian techniques, object and scene recognition, tracking, shape modeling, and image databases. Applications may include face recognition, multimodal in
次のページ
このページを最初にブックマークしてみませんか？
『people.csail.mit.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
